package catala

  1. Overview
  2. Docs
package catala
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module LcalcSource

Sourcemodule Ast : sig ... end

Abstract syntax tree for the lambda calculus

Sourcemodule Closure_conversion : sig ... end

This module performs environment-passing style closure conversion, relying on the existential TClosureEnv type and tuples for closure environments. The implementation is based on François Pottier's MPRI lesson. After closure conversion, closure hoisting is perform and all closures end up as toplevel definitions.

Sourcemodule From_dcalc : sig ... end

Translation from the default calculus to the lambda calculus.

Sourcemodule Lift_positions : sig ... end

This modules does the following:

Sourcemodule Monomorphize : sig ... end
Sourcemodule Split : sig ... end
Sourcemodule To_ocaml : sig ... end