An implementation of Daan Leijen's λ^k effect-conscience type system in OCaml
Primary LanguageOCamlOtherNOASSERTION