package catala

Overview
Docs

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

D

Denis Merigoux
N

Nicolas Chataing
E

Emile Rolley
L

Louis Gesbert
A

Aymeric Fromherz
A

Alain Delaët-Tixeuil
R

Raphaël Monat

Maintainers

C

contact@catala-lang.org

Sources

0.10.0.tar.gz

md5=5abd76e8c51a47670645e91b21b57fc5

sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b

doc/catala.lcalc/Lcalc/Compile_without_exceptions/index.html

Module `Lcalc.Compile_without_exceptions`Source

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.

Sourceval translate_program : 'm Dcalc.Ast.program -> 'm Ast.program