package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.6.0.tar.gz
md5=b22e238d5d5c8452067109e9c7c0f427
sha512=ccc8c557c67c2f9d1bed4b957b2367f0f6afc0ef9b8b83237cf2a2912b3e8829b7e8af78ea7fe00b20ecf28b436ad04b591e5fff4f82fd08725d40a18c9924d0
doc/catala.dcalc/Dcalc/Interpreter/index.html
Module Dcalc.Interpreter
Source
Reference interpreter for the default calculus
Evaluates an expression according to the semantics of the default calculus.
Source
val interpret_program :
Ast.decl_ctx ->
Ast.expr Utils.Pos.marked ->
(Utils.Uid.MarkedString.info * Ast.expr Utils.Pos.marked) list
Interprets 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. Returns a list of all the computed values for the scope variables of the executed scope.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>