Skip to content

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

Notifications You must be signed in to change notification settings

sstrickl/lc-tc-interp

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits
 
 
 
 
 
 

Repository files navigation

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.

License

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

About

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

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages