Pull requests: cedille/cedille
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Wired elaboration to write-html in
elab-util.agda
for testing
#153
opened May 16, 2020 by
MudroadWhite
Loading…
Remove record in qualified name to let Agda 2.6.1 happy
#144
opened Feb 15, 2020 by
ice1000
Loading…
ProTip!
What’s not been updated in a month: updated:<2024-04-24.