ゆきくらげ

ゆきくらげ

眠い 型理論に興味があります

Scraps

Agda やるぞ
Open12日前にコメント追加#agda
16
Glapple2.0を作るぞ
Open1ヶ月前にコメント追加
4
PureScriptでWebサイトを作るメモ
Open2ヶ月前にコメント追加
4