on bfcd00a help sign in
all commits
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