Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
-
Updated
Jul 11, 2021 - Haskell
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Compiler for the language RNB to Three-Address-Code.
Interpreter of made up language. Whole is written in haskell with use of BNFC.
my attempt to make a programming language
We have invented the arithmetic logic programming language called as PP. We had to create parser, type check and eval which let you play with that language.
Add a description, image, and links to the language-design topic page so that developers can more easily learn about it.
To associate your repository with the language-design topic, visit your repo's landing page and select "manage topics."