package catala

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Ast : sig ... end

Abstract syntax tree for the lambda calculus

module Backends : sig ... end

Helper functions common to all Catala compiler backends

module Compile_with_exceptions : sig ... end

Translation from the default calculus to the lambda calculus. This translation uses exceptions handle empty default terms.

module Compile_without_exceptions : sig ... end

Translation from the default calculus to the lambda calculus. This translation uses an option monad to handle empty defaults terms. This transformation is one piece to permit to compile toward legacy languages that does not contains exceptions.

module Optimizations : sig ... end
module Print : sig ... end
module To_ocaml : sig ... end

Formats a lambda calculus program into a valid OCaml program

OCaml

Innovation. Community. Security.