FranchuFranchu

Karma: 198
Created: 4 years ago

About

Type theory is great!

meet.hn/city/ar-Buenos-Aires

Recent Submissions

1. ▲ South Korean Air Force apologizes for accidental bombing, blames pilot error (www3.nhk.or.jp) 4 points · 9 months ago · 0 comments
2. ▲ Infinite Apply – Lambda Calculus (infinite-apply.marvinborner.de) 3 points · 10 months ago · 0 comments
3. ▲ Tree Sitting (en.wikipedia.org) 5 points · 1 year ago · 0 comments

All submissions on HN · View profile on HN