Following Organizations
No Organizations you are following
$ analyze @karrym
posted articles:
- Haskell:42%
- 数学:42%
- 圏論:42%
- Agda:33%
- 余帰納法:17%
answered questions:
- No data
No Organizations you are following