ilyaraz / PCF

Programming Computable Functions and more

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

#Poor Man's PCF

A simple implementation of Programming Computable Functions (simply-typed lambda calculus with Y-combinator, natural numbers and booleans) + pairs, lists, the unit type and sequencing. It consists of type checker and evaluator. For simplicity, the implementation uses De Bruijn indices instead of real variable names.

About

Programming Computable Functions and more


Languages

Language:Haskell 100.0%