Programming Language Theory in Agda
70 by ingve | 6 comments on Hacker News.
New top story on Hacker News: Programming Language Theory in Agda
Related Posts
New top story on Hacker News: Why Pascal Is Not My Favorite Programming Language (1981)
New top story on Hacker News: The Real Best Picture: A Look at the Data
New top story on Hacker News: Twitter Thread Compiler Apps and Copyright Ethics
New top story on Hacker News: A Database for the Edge of the Network (2015) [video]
New top story on Hacker News: Who Owns Buried Treasure?
0 comments: