Pinned Loading

1. Interpreter-zoo Interpreter-zoo Public

   Collection of interpreters

   Coq 1

2. snt snt Public

   ROPAS Weekly Show&Tell

   TeX 1

3. having-an-effect having-an-effect Public

   Implementation of Oleg Kiselyov's "Having an Effect" (https://okmij.org/ftp/Computation/having-effect.html) using OCaml algebraic effects.

   OCaml 2