タコ所長

@presTako

47Contributions

16
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 代数数学

Following Tags

Find Tags to follow