Luke Bessant

Results 1 comments of Luke Bessant

What about something like `term resType::Type = ...;` (undec) vs. `local resType::Type = ...;` (dec) ? Perhaps this clashes with something I'm not aware of.