Clayiumをリメイクしてみたり、TypeScriptで型レベルで遊んでみたりしている

・National Institute of Technology,Kitakyushu College ・Programming beginner

Minecraft を触り始めて早 5 年、気付けば Scala の沼にハマっていたのであった....。