catala.lcalc
Lcalc
catala.dcalc
catala.desugared
catala.driver
catala.literate
catala.runtime
catala.scalc
catala.scopelang
catala.surface
catala.utils
module Ast : sig ... end
Abstract syntax tree for the lambda calculus
module Backends : sig ... end
module Compile_with_exceptions : sig ... end
Translation from the default calculus to the lambda calculus
module Optimizations : sig ... end
module Print : sig ... end
module To_ocaml : sig ... end
Formats a lambda calculus program into a valid OCaml program