Christophe Scholliers

WebPieについて学ぼう、依存型を使った安全なプログラミングのためのシンプルな言語だよ。