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.8.0.tar.gz

md5=1408a1cce45c7d5990b981e83e7589c2

sha512=eb3b923aa1f743378b4a05e30f50be5d180dc862a716270d747a90e469017f42fa5fc41352f02fbbf59cd2560f91c4f1b32cf38d80085b105d9387b0aed2039d

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

Module `Lcalc.From_dcalc`Source

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

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

Source

val translate_program_without_exceptions : 
  'm Dcalc.Ast.program ->
  'm Ast.program

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.