Re:Programming Language Foundations in Agda
by kvlr on Saturday January 23, 2021 @11:19AM
(#25883373)
Here’s a runnable version of this book https://nextjournal.com/try/plfa/Naturals
[ Parent
| on HN ]
There are no comments on this comment yet.