Example typechecker and interpreter for the lambda calculus extended with numeric operations.

License: Other

Language: OCaml

Lambda calculus typechecker and interpreter

The code here implements a typechecker and interpreters based off three different dynamic semantics for the lambda calculus, extended with integers and four binary integer operations. I wrote this for a class I taught at the University of Maryland, and figured I'd stick it here for posterity's sake.


This code is released under the CRAPL. See CRAPL-LICENSE.txt for more details.

Project Statistics

Sourcerank 3
Repository Size 121 KB
Stars 0
Forks 0
Watchers 1
Open issues 0
Dependencies 0
Contributors 1
Tags 0
Last updated
Last pushed

Top Contributors See all

Stevie Strickland

Something wrong with this page? Make a suggestion

Last synced: 2017-10-16 13:22:26 UTC

Login to resync this repository