2013-01-31から1日間の記事一覧
An Introduction to Functional Programming Through Lambda Calculusを読んでいたら、最初の章に functional language の歴史が書かれていたので、簡単にまとめて見ました。 Propositional calculus Propositional calculus Systemで「命題計算系」です。19…
ぱたへね
はてなダイアリーはrustの色分けができないのでこっちに来た
