Hm, honestly I need a version of Agda with no unicode support, no holes, no implicit arguments, and so on for the sake of teaching
15
2
50
Conversation
Can you please team up with and make Dr. Agda? I'm imagining being able to step through proofs and rendering them nicely in the REPL
3
24
I would absolutely love to do this
1
9
if you want to reinvent the agda editor experience (or have smaller ideas for how it could be improved atm), please reach out - usability is the #1 thing on my head. even if i'm focused on improving cubical, the rest of the language needs to be better, too :)
3
21
My dream is Hazel for Agda, paging
2
3
