Simple and efficient type-safe record system featuring subtyping implemented with somewhat "cutting edge" GHC features.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool