ゆきくらげ

ゆきくらげ

眠い ଳ 東工大デジタル創作同好会 traP 所属 ଳ 型理論に興味があります ଳ

Scraps

brainf**k インタープリタを作る
Open2ヶ月前にコメント追加
5
自作言語 Phosphor 進捗
Open4ヶ月前にコメント追加
4
Agda やるぞ
Open4ヶ月前にコメント追加#agda
16
Glapple2.0を作るぞ
Open5ヶ月前にコメント追加
4
PureScriptでWebサイトを作るメモ
Open6ヶ月前にコメント追加
4