Go to Qiita Advent Calendar 2024 Top

@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

Followees

@muripo_life
平社員
@fibo
@supermomonga
ヾ(　　l　　 _　　 l　　〃)ﾉﾞﾄﾞﾝ☆
@kikx