boris-marinov/category-theory-illustrated
1
1
Fork 0
mirror of https://github.com/boris-marinov/category-theory-illustrated.git synced 2024-09-21 07:27:11 +03:00
Code Issues Projects Releases Wiki Activity
103 Commits 8 Branches 0 Tags 69 MiB
a58d41a895
Commit Graph

8 Commits

Author SHA1 Message Date
Boris Marinov
65ccd544df corrections 2021-09-24 20:28:04 +03:00
Boris Marinov
90dbc418ec Merge branch 'logic' of github.com:boris-marinov/category-theory-illustrated into logic 2021-08-23 22:07:07 +03:00
Boris Marinov
15f3448874 Logic chapter finished 2021-08-17 23:10:45 +03:00
Boris Marinov
7441720577 stuff 2021-07-28 16:00:22 +03:00
ciderpunx
e39a67caa4
Typo: s/primsm/prism/ 
Also capitalized category theory as in the first paragraph.
 2021-04-01 15:11:18 +01:00
Boris Marinov
fc471ffbfb stuff 2021-02-14 13:06:16 +02:00
Boris Marinov
b07892c2e8 corrections 2021-01-22 14:40:10 +02:00
Boris Marinov
3424bd6a1d new layout 2020-12-28 20:52:31 +02:00