@karrym

117Contributions

12
Posts 4
Followees 9
Followers

Following Organizations

No Organizations you are following

Following tags(11)See all

圏論型型理論数学関数型言語 Agda Vim Idris Coq Scala Haskell

$ analyze @karrym

posted articles:

Haskell:42%
圏論:42%
数学:42%
Agda:33%
余帰納法:17%

answered questions:

No data

Articles Questions Likes

Posted Articles Commented Articles Edit Requests