GitHub - securitylab/cs242-fall14-types: CS242 type checker lab

Homework task

Modify lib/solver.js to implement a type checker/inference engine for simply polymorphic lambda calculus. See the homework PDF for more details.

Name	Name	Last commit message	Last commit date
Latest commit Deian Stefan fix for real this time Oct 9, 2014 0fa92b9 · Oct 9, 2014 History 15 Commits
lib	lib	fix for real this time	Oct 9, 2014
node_modules	node_modules	Install underscore	Oct 2, 2014
should_compile	should_compile	fix for real this time	Oct 9, 2014
should_fail	should_fail	More occurs tests	Oct 2, 2014
tests	tests	lab 2	Oct 2, 2014
.gitignore	.gitignore	Initial commit.	Sep 29, 2014
README.md	README.md	lab 2	Oct 2, 2014
cli.js	cli.js	lab 2	Oct 2, 2014
package.json	package.json	lab 2	Oct 2, 2014
repl.js	repl.js	Initial commit.	Sep 29, 2014
setup.js	setup.js	Fix repl bug.	Oct 4, 2014