Pinned Loading

1. compiler-construction compiler-construction Public

   OCaml

2. scope-extrusion scope-extrusion Public

   TeX

3. discrete-maths-lean discrete-maths-lean Public

   The Cambridge Part IA Discrete Maths course in Lean

   Lean 3 2

4. semantics-agda semantics-agda Public

   Forked from yallop/semantics-agda

   Agda mechanisation of the University of Cambridge Semantics of Programming Languages course

   Agda

5. modular-macros/ocaml-macros modular-macros/ocaml-macros Public

   OCaml with macros

   OCaml 66 3

6. effective-concurrency effective-concurrency Public

   A collection of OCaml 5.3.0 programs designed to teach the semantics of exceptions, effects, and concurrency, designed for the University of Cambridge Part IB Semantics of Programming Languages course

   OCaml 1