Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Wired elaboration to write-html in `elab-util.agda` for testing
#153
opened May 16, 2020 by
MudroadWhite
ProTip!
Follow long discussions with comments:>50.