cogent
cogent copied to clipboard
porting libgum to new language style
- [ ] remove typearg applications
- [ ] use kinds instead of ! on type vars
Depending on #29 (partly). If removing typeargs, it's really easy to fail. For !s, it's not always possible.