著作者について

本名

坂口 和彦

ハンドル

pi8027

URI

tag:stricter.org,2007-11-23:pi8027

メールアドレス

pi8027@gmail.com

使用言語

• Agda2
• C
• C#
• Coq
• Curry
• Haskell
• OCaml
• PostScript
• Prolog
• Scheme

Twitter

• pi8027