@shudaisho

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

一般的なHaskeller

Haskellプログラマです。

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