A programming language with first-class modules and algebraic effects.
programming-language
algebraic-effects
modules
compiler
broom
implicit
type-inference
type-class
generalized-algebraic-data-type
row-polymorphism
-
Updated
Dec 3, 2022 - OCaml