❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
-
Updated
Feb 1, 2021 - Haskell
❄️ Simply typed lambda calculus formalized in Coq, REPL in Haskell.
Add a description, image, and links to the stlc topic page so that developers can more easily learn about it.
To associate your repository with the stlc topic, visit your repo's landing page and select "manage topics."