Haskell

Lambda Calculus Interpreter
A small interpreter for the untyped lambda calculus.
04/05/24
Repo
PCF Interpreter and Typechecker
A small interpreter and typechecker for PCF (Programming Computable Functions)
04/05/24
Repo
Resolution Algorithm for FOL
An implementation of a resolution algorithm for first-order logic.
04/05/24
Repo