curious-ocaml icon indicating copy to clipboard operation
curious-ocaml copied to clipboard
verified publisher icon lukstafi

Lecture 3 is missing the long derivation example (was in a separate file)

Open lukstafi opened this issue 2 years ago • 0 comments

The derivation .tm source is not in the repo.

lukstafi avatar Nov 02 '23 12:11 lukstafi