Tim Whiting
User handled effects should not be in here. In particular `exn`. Not sure about `div`. We can always allow `div`, but for now we can use `unsafe-no-div` or `unsafe-total` in...
We should warn if implicits are not used. We should also hint if a name is shadowing to use locally qualified names if the name is intended to be overloaded....
The following code sample nests two structs (association list and environment). Assoc is a value struct, and Koka infers that the environment should be a value struct as well. However,...
Local variables are inefficient for a variety of reasons. #716 Addresses the issue of giving the update function a value with unique reference counts, however, the example given in #765...