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

D

Denis Merigoux, Nicolas Chataing

Maintainers

C

contact@catala-lang.org

Sources

0.5.0.tar.gz

md5=41b0317af37925b16ae7aedfddbcc8b4

sha512=f02c4e4c7d8ca92c4c2100d1dfc31c56218a8fae3760135335c9cdd10d9edbeb6eb5e407b430c095f579ce2226c3fe4c314788af5aa35c37d04e4dee5f459cb8

doc/catala.dcalc/Dcalc/Interpreter/index.html

Module `Dcalc.Interpreter`Source

Reference interpreter for the default calculus

Sourceval empty_thunked_term : Ast.expr Utils.Pos.marked

Source

val interpret_program : 
  Ast.decl_ctx ->
  Ast.expr Utils.Pos.marked ->
  (Utils.Uid.MarkedString.info * Ast.expr Utils.Pos.marked) list

Interpret a program. This function expects an expression typed as a function whose argument are all thunked. The function is executed by providing for each argument a thunked empty default.