A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
GNU General Public License v3.0
26
stars
0
forks
source link
Lecture 3 is missing the long derivation example (was in a separate file) #3
Open
lukstafi opened 11 months ago
The derivation .tm source is not in the repo.