You need to sign in or sign up before continuing.
-
Yorick Peterse authored
The new type system is much simpler, and this time there are actually tests for the more important parts of the type system.
The new type system is much simpler, and this time there are actually tests for the more important parts of the type system.