package catala

You can search for identifiers within the package.

in-package search v0.2.0

Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

github.com Readme Edit opam file Versions (8)

Authors

Maintainers

C

contact@catala-lang.org

Sources

0.6.0.tar.gz

md5=b22e238d5d5c8452067109e9c7c0f427

sha512=ccc8c557c67c2f9d1bed4b957b2367f0f6afc0ef9b8b83237cf2a2912b3e8829b7e8af78ea7fe00b20ecf28b436ad04b591e5fff4f82fd08725d40a18c9924d0

doc/catala.lcalc/Lcalc/index.html

Module `Lcalc`Source

Sourcemodule Ast : sig ... end

Abstract syntax tree for the lambda calculus

Sourcemodule Backends : sig ... end

Helper functions common to all Catala compiler backends

Sourcemodule Compile_with_exceptions : sig ... end

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

Sourcemodule 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.

Sourcemodule Optimizations : sig ... end

Sourcemodule Print : sig ... end

Sourcemodule To_ocaml : sig ... end

Formats a lambda calculus program into a valid OCaml program