issues
search
txa
/
cftlfp
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Checklist environment
#20
jacobneu
opened
1 month ago
0
makefile broken
#19
jacobneu
closed
1 month ago
0
Move exercises and answers to end of chapter
#18
jacobneu
closed
1 month ago
4
introduction
#17
txa
opened
1 month ago
0
higher categories
#16
txa
opened
1 month ago
0
Univalent categories
#15
txa
opened
1 month ago
0
categorical semantics of type theory
#14
txa
opened
1 month ago
0
monads and comonads
#13
txa
opened
1 month ago
0
finish limits and colimits
#12
txa
opened
1 month ago
0
Stlc example
#11
txa
opened
1 month ago
16
Modular
#10
jacobneu
closed
1 month ago
6
old slides
#9
txa
closed
1 month ago
0
Answers to questions and exercises at the end
#8
txa
closed
1 month ago
1
Create graphics, customize design
#7
jacobneu
opened
4 months ago
5
Use lambdas uniformly, introduce notation in 'Preliminaries'
#6
jacobneu
opened
4 months ago
2
Use definition, theorem, etc. environments
#5
jacobneu
closed
1 month ago
1
Make sections modular
#4
jacobneu
closed
1 month ago
6
Introduce preorders and monoids in 'Preliminaries' section
#3
jacobneu
closed
1 month ago
1
Solutions
#2
jacobneu
closed
5 months ago
0
Insert exercises solutions into notes
#1
jacobneu
closed
5 months ago
0