01_set
|
Orders WIP
|
2021-02-11 13:53:19 +02:00 |
02_category
|
Corrections
|
2021-04-01 21:00:56 +03:00 |
03_monoid
|
Fix modular arithmetic ordering
|
2021-02-23 20:56:12 +02:00 |
04_order
|
stuff
|
2021-03-26 20:50:48 +02:00 |
05_logic
|
stuff
|
2021-05-26 18:14:11 +03:00 |
06_functors
|
stuff
|
2021-03-26 20:50:48 +02:00 |
00_about.md
|
Typo: s/primsm/prism/
|
2021-04-01 15:11:18 +01:00 |
01_set.md
|
Corrections
|
2021-04-01 21:00:56 +03:00 |
02_category.md
|
stuff
|
2021-04-23 06:48:36 +03:00 |
03_monoid.md
|
Fix errors in orders
|
2021-04-01 10:29:59 +03:00 |
04_order.md
|
Corrections
|
2021-04-01 21:00:56 +03:00 |
05_logic.md
|
stuff
|
2021-05-26 18:14:11 +03:00 |