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
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.
Compiler for the language RNB to Three-Address-Code.
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."