Adding modules to a polymorphic lambda calculus
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Makefile
README
ast.sml
dynamic.sml
env.sml
main.sml
pp.sml
sources.cm
static.sml
test.sml

README

Simple module system for the simply typed lambda calculus, implemented in
SML/NJ