issues
search
bor0
/
gidti
Book: Introduction to Dependent Types with Idris
https://leanpub.com/gidti
Other
76
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Fix two minor typos in 5.2.6
#47
AlienKevin
closed
1 year ago
1
Fix typo in 3.4.1 (left injection should be right)
#46
AlienKevin
closed
1 year ago
1
More references for further reading
#45
nbloomf
opened
6 years ago
0
Minor edit
#44
nbloomf
closed
6 years ago
0
[4.1.8] Minor edit
#43
nbloomf
closed
6 years ago
0
[4.1.7] Minor grammar edits
#42
nbloomf
closed
6 years ago
0
[4.1.5] Minor edits
#41
nbloomf
closed
6 years ago
0
[4.1.4] Iterative process -> tail recursion
#40
nbloomf
closed
6 years ago
0
[4.1.3] Minor edit
#39
nbloomf
closed
6 years ago
0
[4.1.3] :let vs let
#38
nbloomf
closed
6 years ago
0
[4.1] Misc edits
#37
nbloomf
closed
6 years ago
0
[4.1.1] Pattern matching
#36
nbloomf
closed
6 years ago
1
Minor edits
#35
nbloomf
closed
6 years ago
0
Chapter 3: (another) note on note
#34
nbloomf
closed
6 years ago
0
Chapter 3.4: note on note
#33
nbloomf
closed
6 years ago
0
Chapter 3: Add context about dependent types
#32
nbloomf
closed
6 years ago
0
Add some prose about the significance of simple types
#31
nbloomf
closed
6 years ago
0
Tweak definitions of free and bound variables
#30
nbloomf
closed
6 years ago
0
Ch3.1
#29
nbloomf
closed
6 years ago
0
Idiomaticize
#28
nbloomf
closed
6 years ago
0
Chapter 3: sums are tagged unions
#27
nbloomf
closed
6 years ago
1
Chapter 2: table vs column proofs
#26
nbloomf
closed
6 years ago
0
Grammar fix
#25
nbloomf
closed
6 years ago
0
Chapter 2: bound variables
#24
nbloomf
closed
6 years ago
1
Edit set theory definitions
#23
nbloomf
closed
6 years ago
0
Chapter 2: functions
#22
nbloomf
closed
6 years ago
1
Chapter 2: multicharacter identifiers
#21
nbloomf
closed
6 years ago
0
Add example of a second-order predicate
#20
nbloomf
closed
6 years ago
0
Chapter 2: More info for quantifiers
#19
nbloomf
closed
5 years ago
1
Alter examples for the implication connective
#18
nbloomf
closed
6 years ago
1
Chapter 1.1 edits
#17
nbloomf
closed
6 years ago
0
Smooth edit of definition of formal system and intro paragraph
#16
nbloomf
closed
6 years ago
0
Chapter 1: consistency and completeness
#15
nbloomf
closed
6 years ago
2
Add self to reviewer list
#14
nbloomf
closed
6 years ago
0
Intro edit
#13
nbloomf
closed
6 years ago
0
Preface: minor edits to more idiomatic English usage
#12
nbloomf
closed
6 years ago
1
Hyphen encoding issue in acknowledgements
#11
nbloomf
closed
6 years ago
3
[4.1.4] Recursive vs iterative processes
#10
bor0
closed
6 years ago
0
[3.5] Lambda cube section
#9
bor0
closed
6 years ago
0
[3.1] Lambda calculus intro
#8
bor0
closed
6 years ago
0
[2] classical logic too fast?
#7
Chobbes
closed
6 years ago
0
[2.1] logic introduction truth table concerns
#6
Chobbes
closed
6 years ago
3
3.1 logical connectives commutativity
#5
Chobbes
closed
6 years ago
3
Remove ZFC and just refer to set theory
#4
bor0
closed
6 years ago
0
[3] ZFC and Peano introductions
#3
Chobbes
closed
6 years ago
1
Clarify descriptions for MU inference rules.
#2
Chobbes
closed
6 years ago
1
[2.1] MU puzzle example issues
#1
Chobbes
closed
6 years ago
0