Commits : Listings
Analyzed
about 11 hours
ago.
based on code collected
about 11 hours
ago.
|
Jul 29, 2024
—
Jul 29, 2025
|
||||||
| Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
|---|---|---|---|---|---|---|
| [relational] Start Pure versus Exc |
|
More... | almost 6 years ago | |||
| [notes] Typeset some relational notes |
|
More... | almost 6 years ago | |||
| [Makefile, _CoqProject] Start a project |
|
More... | almost 6 years ago | |||
| [Category] Add Global instances for setoid rewrite |
|
More... | almost 6 years ago | |||
| [Category] Speed up; implement RelMonMorph |
|
More... | almost 6 years ago | |||
| [Category] Define RelativeMonad |
|
More... | almost 6 years ago | |||
| [Category] Fix composite, start NTs |
|
More... | almost 6 years ago | |||
| [Category] Improve notation |
|
More... | almost 6 years ago | |||
| Initial commit |
|
More... | almost 6 years ago | |||
| [Category] Fix fish operator definition |
|
More... | almost 6 years ago | |||
| [Category] Functor comes before Monad |
|
More... | almost 6 years ago | |||
| [Category] Monoid is now based in Category |
|
More... | almost 6 years ago | |||
| [Category] Monoids and monads aren't def'd in cat |
|
More... | almost 6 years ago | |||
