Leo White

Results 6 repositories owned by Leo White

girards-paradox

104
Stars
2
Forks
Watchers

A "implementation" of Girard's paradox in OCaml

implicits-module-system

23
Stars
2
Forks
Watchers

Work on modular implicits

namespaces

38
Stars
2
Forks
Watchers

Proposal for namespacing in OCaml

ocaml-typed-effects

46
Stars
4
Forks
Watchers

OCaml with typed algebraic effects

prof_spacetime

28
Stars
12
Forks
Watchers

Prof. Spacetime

shifted-names

18
Stars
3
Forks
Watchers

Coq library for handling names