on develop help sign in
all commits
a191ed9Bump a number of upper version boundsMalte Brandy ecc8511Fix semigroup importsJohn Ericson ef51a75Document DecidablyEmpty and add missing instancesJohn Ericson c7e2767Extract a "patch" library from reflexJohn Ericson