01_set
|
logic continued
|
2021-06-11 16:39:42 +03:00 |
02_category
|
stuff
|
2021-10-14 12:35:39 +03:00 |
03_monoid
|
stuff
|
2021-10-14 12:35:39 +03:00 |
04_order
|
stuff
|
2021-10-14 12:35:39 +03:00 |
05_logic
|
stuff
|
2021-10-14 12:35:39 +03:00 |
06_functors
|
stuff
|
2021-03-26 20:50:48 +02:00 |
00_about.md
|
corrections
|
2021-09-24 20:28:04 +03:00 |
02_category.md
|
typo bold in lar of accociativity
|
2021-09-27 11:52:50 +02:00 |
03_monoid.md
|
Fix errors in orders
|
2021-04-01 10:29:59 +03:00 |
04_order.md
|
stuff
|
2021-10-11 14:17:05 +03:00 |
05_logic.md
|
typo: lthough -> although
|
2021-09-26 21:52:38 +01:00 |
06_functors.md
|
last edits, submitted for review
|
2021-08-19 20:12:49 +03:00 |