I wrote my first blog post about #Agda, featuring more than you ever wanted to know about Agda's sort system! Read it here: jesper.sikanda.be/posts/agdas-ne
Conversation
Thanks for this post! Lots of interesting things to think about for my language. 🤔