This site does not allow itself to be embedded. You can still read it on the original site — the toolbar below keeps your place in the directory.
Jesper Cockx - Ten improvements to Agda's implementation Jesper Cockx Home Blog Papers Talks Teaching Links Ten improvements to Agda's implementation Posted by Jesper on January 1, 2024 Happy 2024! I have (foolishly) resolved to write one blog post per month in this new year, so expect more frequent and less polished posts in the coming year. To give myself a head start, here is the first of…
Comments
Nothing yet. Say the first thing.
Sign in to join the conversation.