issues
search
jwbuurlage
/
category-theory-programmers
Category theory in the context of (functional) programming
MIT License
514
stars
38
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Translate notes to Chinese
#27
maoxiaoke
opened
5 years ago
3
Store chapter files in variable
#26
tarleb
closed
6 years ago
1
Minor fix for product diagram.
#25
Yawolf
closed
6 years ago
1
Minor typo fixes, type check on `head :: [a] -> Maybe a`
#24
chrislambda
closed
7 years ago
1
Fix typo in pullback definition
#23
nskins
closed
7 years ago
1
Fix typo
#22
centromere
closed
7 years ago
1
Fix typo
#21
centromere
closed
7 years ago
0
Fix typo
#20
centromere
closed
7 years ago
0
Fix typo
#19
centromere
closed
7 years ago
0
Fix typo
#18
centromere
closed
7 years ago
0
Redacted definition 4.3
#17
argent0
closed
7 years ago
1
Typos in introduction
#16
xkollar
closed
7 years ago
1
Added missing argument in positives's update definition
#15
jmgimeno
closed
7 years ago
1
Replaced Mu by Fix in cata definition
#14
jmgimeno
closed
7 years ago
1
Added a missing lim in proof of Proposition 8.14
#13
jmgimeno
closed
7 years ago
1
Missing diagrams and theorems in `epub` and `html`
#12
jwbuurlage
opened
7 years ago
2
add rule for generating epub
#11
delta4d
closed
7 years ago
2
Fix typo in Products, coproducts and ADTs.
#10
t-hund
closed
7 years ago
1
fix typo
#9
bewakes
closed
7 years ago
1
typo in section 'Special arrows'
#8
bewakes
closed
7 years ago
1
Yoneda lemma diagrams
#7
jmgimeno
closed
7 years ago
2
Correct typo in definition of Maybe
#6
ed359
closed
7 years ago
1
Fix typos in introduction.
#5
scott-fleischman
closed
7 years ago
1
early corrections
#4
conal
closed
7 years ago
1
Alternative diagram for initial/terminal objects
#3
matt-noonan
closed
7 years ago
4
Fix typo in composition order
#2
matt-noonan
closed
7 years ago
1
fix various typos
#1
rubenpieters
closed
7 years ago
1