Programming Language Theory in Agda

Article URL: https://wenkokke.github.io/sf/

Comments URL: https://news.ycombinator.com/item?id=16996335

Points: 65

# Comments: 6

from Hacker News: Front Page https://ift.tt/2wd0BYn
via