cogent icon indicating copy to clipboard operation
cogent copied to clipboard
verified publisher icon au-ts

porting libgum to new language style

Open zilinc opened this issue 9 years ago • 1 comments

  • [ ] remove typearg applications
  • [ ] use kinds instead of ! on type vars

zilinc avatar Nov 21 '16 02:11 zilinc

Depending on #29 (partly). If removing typeargs, it's really easy to fail. For !s, it's not always possible.

zilinc avatar Dec 13 '16 06:12 zilinc