jesper, 29 days ago to Blog I wrote a blog post about Agda Core! It's a bit long and not very polished, but I'm happy to have it finished (thanks to a long and distraction-free train ride to Swansea). jesper.cx/posts/agda-core.html #Agda #DependentTypes #Blog
I wrote a blog post about Agda Core! It's a bit long and not very polished, but I'm happy to have it finished (thanks to a long and distraction-free train ride to Swansea).
jesper.cx/posts/agda-core.html
#Agda #DependentTypes #Blog