Go to Qiita Advent Calendar Top

Kaiko

@kaiko_math

0
Posts 11
Followees 1
Followers

HaskellとAgdaを学び始めた大学院生

Following Organizations

No Organizations you are following

Following tags(8)See all

圏論 Coq 定理証明 Agda テスト関数型言語ソフトウェア工学 Haskell

$ analyze @kaiko_math

posted articles:

No data

answered questions:

No data

Articles Questions Likes Public Stock List

Liked Articles Liked Comments Liked Answers Liked Questions Liked Stock Lists