shudaisho

2 Contribution

/ Following users

主にcommon lisp。javascriptもやる。 組み込みマイコンでCやアセンブラを買いたりもする。

一般的なHaskeller

Haskellプログラマです。

Coqなどによるプログラムの正しさの検証・証明に興味があります。