Search for tag: "modules"

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod on November 3rd, 2020 0 likes 211 plays

cos326-2020-12-04-module-evaluation

Ocaml Modules: Part 4: Module Evaluations

From  Daniel Macleod on August 16th, 2020 0 likes 129 plays

cos326-2020-12-01-simple-modules

Ocamls Modules: Part 1: Simple Structures

From  Daniel Macleod on August 16th, 2020 0 likes 187 plays