Pure Math Geek, Mathematical Logic interested in Haskell, Lambda calculus, Combinator Theory, Category Theory, Categorial Grammar, Latin/Greek/Sanskrit, Functional Programming. #FP_matsuri
Following Organizations
No Organizations you are following
$ analyze @Trubetzkoy
posted articles:
- コンビネータ論理:37%
- ラムダ計算:35%
- Haskell:23%
- 抽象化:16%
- Hindley:12%
answered questions:
- No data