issues
search
cs3110
/
textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Other
720
stars
132
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Required background on AVL trees and 2-3 trees?
#139
cionx
closed
8 months ago
1
Possibly missing line in definition of lambda calculus
#138
cionx
closed
8 months ago
1
Inconsistency when to resize (Sections 8.1 and 8.2)
#137
cionx
closed
8 months ago
1
Mismatch in exercise “approximately e”
#136
cionx
closed
7 months ago
4
Missing substitution rule in exercise “let rec”
#135
cionx
closed
8 months ago
1
Missing small step rules for Core OCaml
#134
cionx
closed
8 months ago
1
Incomplete comment in subsection 8.3.1
#133
cionx
closed
8 months ago
1
Fixes and improvements
#132
cionx
closed
9 months ago
2
Algebraic specifications: missing the proof that operators respect the quotient induced by the AF?
#131
favonia
closed
6 months ago
9
Explain RB tree rotations a bit more.
#130
justhsu
closed
9 months ago
1
Fix typo
#129
autoelk
closed
1 year ago
1
Revert "Add nb_merge_streams config to coalesce stderr"
#128
clarksmr
closed
1 year ago
0
Remove one case of `expsq`
#127
favonia
closed
1 year ago
3
Restore tip about `assert_raises`.
#126
justhsu
closed
1 year ago
1
Upgrade jupyter-book to latest version
#125
clarksmr
closed
8 months ago
1
Missing output of code cells
#124
cionx
closed
1 year ago
7
Suggestion: remove `with module M = N` from the textbook?
#123
favonia
closed
1 year ago
1
Clarify OUnit2 assert_raises.
#122
justhsu
closed
1 year ago
3
Add nb_merge_streams config to coalesce stderr
#121
penelopeysm
closed
1 year ago
3
Issue on page /chapters/data/algebraic_data_types.html
#120
danielruc91
closed
1 year ago
2
Fix grammar in lists section
#119
kamel024
closed
1 year ago
0
Correct function application order
#118
favonia
closed
1 year ago
1
Correct the dynamic semantics of type annotations
#117
favonia
closed
1 year ago
6
Motivate capture-avoiding substitution.
#116
justhsu
closed
1 year ago
2
Update install.md
#115
juntaolei
closed
1 year ago
2
Update VS Code WSL extension name
#114
thebenkogan
closed
1 year ago
0
Incorrect reference to ISO Latin-1 character set
#113
nxg
closed
1 year ago
1
Fix typo in sections 2.4.5 and 2.4.10
#112
tocariimaa
closed
1 year ago
1
Issue on page /chapters/ds/monads.html
#111
clarksmr
closed
1 year ago
0
Issue on page /chapters/data/lists.html
#110
haslam22
closed
1 year ago
1
specifier is not devious
#109
ishwar00
closed
1 year ago
3
Issue on page /chapters/modules/includes.html
#108
whj0000
closed
1 year ago
1
Github -> GitHub
#107
morinokami
closed
1 year ago
0
typo
#106
ishwar00
closed
1 year ago
1
Fix chapter 7 typos
#105
eeff
closed
1 year ago
1
Issue with tupled constructors on Algebraic Data Types page
#104
willbarkoff
closed
2 years ago
1
Issue on page /chapters/data/ounit.html
#103
haku-c
closed
2 years ago
1
Update alg_spec.md
#102
mwilbur
closed
2 years ago
2
Fix chapter 6 typos
#101
eeff
closed
2 years ago
1
Fix typos in Chap3.7 Options
#100
MingLLuo
closed
2 years ago
2
Issue on page /chapters/modules/exercises.html
#99
clarksmr
closed
2 years ago
0
Fix bug in `even`/`odd` implementation
#98
vincentjiang10
closed
2 years ago
1
Fix Chapter 5 typos
#97
eeff
closed
2 years ago
0
Issue on page /chapters/interp/substitution.html
#96
Luv2C0d3
closed
2 years ago
3
Issue on page /chapters/interp/substitution.html
#95
Luv2C0d3
closed
2 years ago
1
Issue on page /chapters/interp/substitution.html
#94
Luv2C0d3
closed
2 years ago
0
Code does not compile on page /chapters/interp/substitution.html
#93
Luv2C0d3
closed
2 years ago
0
"find" not "finding" issue on page /chapters/interp/substitution.html
#92
Luv2C0d3
closed
2 years ago
0
Fix 5.4 ListStack pretty print example
#91
eeff
closed
2 years ago
1
Issue on page /chapters/preface/install.html
#90
thomasporter522
closed
2 years ago
1
Previous
Next