GitHub - drewhaven/6.945-Project: Type System for 6.945

Name		Name	Last commit message	Last commit date
Latest commit History 120 Commits
interpreter		interpreter
notes		notes
propagator		propagator
README.md		README.md
built-in.txt		built-in.txt
demo.scm		demo.scm
init-primitives.scm		init-primitives.scm
load.scm		load.scm
parse-built-in.py		parse-built-in.py
sets.scm		sets.scm
type-inferencer.scm		type-inferencer.scm
type-intervals.scm		type-intervals.scm
types.scm		types.scm
unbuilt-procedure.scm		unbuilt-procedure.scm