package catala

  1. Overview
  2. Docs
Compiler and library for the literate programming language for tax code specification

Install

Dune Dependency

Authors

Maintainers

Sources

0.7.0.tar.gz
md5=6dbbc2f50c23693f26ab6f048e78172f
sha512=a5701e14932d8a866e2aa3731f76df85ff2a68b4fa943fd510c535913573274d66eaec1ae6fcae17f20b475876048a9ab196ef6d8c23d4ea6b90b986aa0a6daa

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

Module Lcalc.Compile_with_exceptionsSource

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

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

Innovation. Community. Security.