 Jeremy Siek
|
613a55acd9
updates
|
4 jaren geleden |
|
Jeremy Siek
|
95345f1132
fix typos
|
4 jaren geleden |
|
Jeremy Siek
|
0f35f084d2
fixing typos
|
4 jaren geleden |
|
Jeremy Siek
|
d821125124
closure conversion
|
4 jaren geleden |
|
Jeremy Siek
|
1cb1cc3238
tweak
|
4 jaren geleden |
|
Jeremy Siek
|
ad29d59c41
added sidebar about priority queues
|
4 jaren geleden |
|
Jeremy Siek
|
bc2ae376e9
fixes
|
4 jaren geleden |
|
Jeremy Siek
|
b13747cb5b
type checker for R4
|
4 jaren geleden |
|
Jeremy Siek
|
371149358b
added example about interaction between shrink and explicate
|
4 jaren geleden |
|
Jeremy Siek
|
32b6b0593b
fix
|
4 jaren geleden |
|
Jeremy Siek
|
443da168cc
more index
|
4 jaren geleden |
|
Jeremy Siek
|
f27902c31e
more index
|
4 jaren geleden |
|
Jeremy Siek
|
d35b616a1f
first draft of index
|
4 jaren geleden |
 EFanZh
|
876e7b8e56
Fix \lstinline in table cells
|
4 jaren geleden |
|
EFanZh
|
3d33781500
Merge remote-tracking branch 'origin/master' into ci
|
4 jaren geleden |
|
EFanZh
|
1acad924f4
Simplify dependencies
|
4 jaren geleden |
|
EFanZh
|
7c07da2fe6
Add texlive-latex-extra dependency
|
4 jaren geleden |
|
EFanZh
|
043629f31c
Add texlive-pictures dependency
|
4 jaren geleden |
|
EFanZh
|
f883463f3f
Add texlive-science dependency
|
4 jaren geleden |
|
EFanZh
|
b25e01b260
Add texlive-latex-recommended dependency
|
4 jaren geleden |
|
EFanZh
|
be2d28f02c
Add lmodern dependency
|
4 jaren geleden |
|
EFanZh
|
0358b639a4
Add texlive-fonts-recommended dependency
|
4 jaren geleden |
|
EFanZh
|
5249ad5b3c
Add latexmk dependency
|
4 jaren geleden |
|
EFanZh
|
6c1b96ac7b
Add build command to CI
|
4 jaren geleden |
|
Jeremy Siek
|
b6df4fd502
check
|
4 jaren geleden |
|
Jeremy Siek
|
a2c2d2cca0
added details about .tyerr
|
4 jaren geleden |
|
Jeremy Siek
|
33dc139cbf
added warning to explicate-control in ch 2
|
4 jaren geleden |
|
Jeremy Siek
|
350f642c3f
new section about RCO in chapter 4
|
4 jaren geleden |
|
Jeremy Siek
|
83c68a800d
check
|
4 jaren geleden |
|
Jeremy Siek
|
4e87c57495
edits
|
4 jaren geleden |
