Popular repositories Loading

1. unification unification Public

   Notes (and implementation) of unification with binders

   TeX 14 1

2. sedlex-menhir sedlex-menhir Public

   Small example: sedlex-menhir vs ocamllex-ocamlyacc

   OCaml 8 1

3. graph-editor-web graph-editor-web Public

   An online graph editor written in Elm

   Elm 6 2

4. UniversalII UniversalII Public

   with UIP and rewrite rules in agda

   Agda 5

5. diagrammatic-resoning-spec diagrammatic-resoning-spec Public

   Specification of a diagrammatic reasoning tool

   TeX 4

6. bell-quantum-experiment bell-quantum-experiment Public

   Article explaining bell's violation of the inequalities

   2