on b5b87f2 help sign in
all commits
9e90c58Change module names in Types/ to include Types prefix. Work on getting let-polymorphism correct.evancz 75593c5Change representation of Modules. Now all statements (definitions, datatypes, event imports, and event exports) are treated the same way. This caused lots of changes, but will ultimately improve type checking.evancz 79e465cChange representation of let-expressions to fix let-polymorphism. Better type inference for case-expressions (all cases must have same type).evancz 9a51377Change optimizations to match new internal representation of numbers.evancz 267f77cAdd basic module system and improve parser error messages.evancz