tree-calculus

tree-calculus copied to clipboard

2 Bugs in definitions of Z{f} and swap {f} in the PDF

5

The expositional style in this book is very Knuth-like - just enough information to reach understanding ... but no more. Hence, assuming that reported typos attract a A$3.00 bounty (up...

RonaldMonson

Some bugs in the PDF

2

Hi, what a great book! I love thinking about PLs with maximum "effectivity / spec size" ratio as a hobby and this made quite the dent[^1] in where I suspected...

olydis

Opam package broken

1

Currently, the installation of the Opam package is broken. In particular, the three lines here appear to be specific for the authors machine. This causes the compiled Coq files not...

LasseBlaauwbroek