Menu
 
» » New top story on Hacker News: Formality, a (proof)gramming language featuring optimal reductions

Post a Comment Blogger

Subscribe to: Post Comments (Atom)
 
Top