論理学者の名を持つプログラミング言語その他
#自由研究
#論理学者
Haskell Curry
Haskell
：言わずと知れた
Curry
：忘れたけど
正格評価
とかだった気がする
Gottlob Frege
Frege
：
Haskell
を
JVM
で動かせるようにコンパイルする
Thierry Coquand
Coq
:
定理証明支援系
参考
https://twitter.com/liewecmays/status/1579940648136081409
liewecmays