タコ所長

@presTako

46Contributions

15
Posts 5
Followees 2
Followers

Location

Saitama, Japan

Following Organizations

No Organizations you are following

Following tags(36)See all

lean-lang lean lean4 TypeScript RaspberryPi 設計 DDD Idris purescript folktale ramda yesod データ構造アルゴリズム cssnext MySQL mariadb kubernetes 代数数学

$ analyze @presTako

posted articles:

メモ:60%
lean:53%
lean4:53%
Haskell:27%
JavaScript:13%

answered questions:

No data

Articles Questions Likes Public Stock Lists

Posted Articles Commented Articles Edit Requests