discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Programming in Five Easy Pieces
https://danielbmarkham.com/curry-howard-isomorphism/
8 comments
25/1/2021
Lobsters
Programming In Five Easy Pieces
https://danielbmarkham.com/curry-howard-isomorphism/
5 comments
25/1/2021
philosophy , programming