May 07, 2023
—
May 07, 2024
|
||||||
Commit Message | Contributor | Files Modified | Lines Added | Lines Removed | Code Location | Date |
---|---|---|---|---|---|---|
[relational] Start Pure versus Exc | More... | over 4 years ago | ||||
[notes] Typeset some relational notes | More... | over 4 years ago | ||||
[Makefile, _CoqProject] Start a project | More... | over 4 years ago | ||||
[Category] Add Global instances for setoid rewrite | More... | over 4 years ago | ||||
[Category] Speed up; implement RelMonMorph | More... | over 4 years ago | ||||
[Category] Define RelativeMonad | More... | over 4 years ago | ||||
[Category] Fix composite, start NTs | More... | over 4 years ago | ||||
[Category] Improve notation | More... | over 4 years ago | ||||
Initial commit | More... | over 4 years ago | ||||
[Category] Fix fish operator definition | More... | over 4 years ago | ||||
[Category] Functor comes before Monad | More... | over 4 years ago | ||||
[Category] Monoid is now based in Category | More... | over 4 years ago | ||||
[Category] Monoids and monads aren't def'd in cat | More... | over 4 years ago |