Rename type families - Githubissues

nfrisby / frags

Plugin gonna getcha, row types

0 stars 1 forks source link

Rename type families #37

Open nfrisby opened 5 years ago

nfrisby commented 5 years ago

FragEQ   ->   Mult
FragNE   ->   Mask
FragLT   ->   Ante
FragCard   ->   Card
KnownFragCard   ->   KnownInt   -- monomorphize too to Frag ()
DomFrag -> FragDom