Strings Into Lambda Calculus Expressions

Project information

An interpreter that translates input strings into lambda calculus expressions using parser combinators in Haskell.

Created on

February 21, 2024

Loading