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

md5=8f891209d18b6540df9c34b2d1a6a783

sha512=737770b87a057674bceefe77e8526720732552f51f424afcebcb6a628267eab522c4fd993caca1ae8ed7ace65a4a87e485af10c1676e51ca5939509a1b841ac2

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

Module `Lcalc.Closure_conversion`Source

This module performs environment-passing style closure conversion, relying on the existential TClosureEnv type and tuples for closure environments. The implementation is based on François Pottier's MPRI lesson. After closure conversion, closure hoisting is perform and all closures end up as toplevel definitions.

Sourceval closure_conversion : 'm Ast.program -> 'm Ast.program Bindlib.box