on ccc8bcf help sign in
all commits
aad5b7cMake type errors better (#20)Csongor Kiss b4f07feType-changing constructor prismCsongor Kiss 4e50855Type-changing lensesCsongor Kiss 7665edcAdd sum subtyping and documentation.Will Jones 6a15e05Add MonoLocalBinds to suppress 8.2 warnings about fragile inner bindingsCsongor Kiss d04fa38Fix module names in module docsCsongor Kiss 72c8592Document sums and add uniqueness checking.Will Jones 4a424e1Add prisms and their magic Any too.Will Jones