@karrym

116Contributions

12
Posts 4
Followees 9
Followers

Following Organizations

No Organizations you are following

Following tags(11)See all

圏論型型理論数学関数型言語 Agda Vim Idris Coq Scala Haskell

Contributions

article is Liked

双対的にみる余帰納法 1.イントロ

article is Liked

代数的データ型とF代数

article is Liked

代数的データ型とF代数

article is Liked

Qiitaで可換図式を描く

article is Stocked

双対的にみる余帰納法 1.イントロ

article is Stocked

双対的にみる余帰納法 2.帰納法と代数

article is Stocked

代数的データ型とF代数

article is Stocked

Agdaで挿入ソートの正当性を証明する

article is Liked

代数的データ型とF代数

article is Stocked

代数的データ型とF代数