FranchuFranchu

199 karmajoined April 24, 2021On HN

Type theory is great!

meet.hn/city/ar-Buenos-Aires

Recent submissions

South Korean Air Force apologizes for accidental bombing, blames pilot error www3.nhk.or.jp
4FranchuFranchu1ydiscuss
Infinite Apply – Lambda Calculus infinite-apply.marvinborner.de
3FranchuFranchu1ydiscuss
Tree Sitting en.wikipedia.org
5FranchuFranchu2ydiscuss

All submissions and comments on Hacker News.