Hackernews
new
show
ask
jobs
Programming Language Foundations in Agda
2 points
posted 12 hours ago
by solomonb
(plfa.github.io)
No comments yet