CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-19 16:28:12 +03:00
Code Issues Projects Releases Wiki Activity

documentation

Browse Source
This commit is contained in:
adelaett 2023-04-14 10:48:31 +02:00
parent f8f6e56cca
commit a53bc27d23
No known key found for this signature in database
GPG Key ID: 367A8C08F513BD65
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/lcalc/optimizations.mli
View File

@ -23,6 +23,10 @@ open Ast
constructions injectors. Implemented to simplify the monadic encoding of
catala
[match E x with | E y -> e1] = [e1\[y |-> x\]]
[match e with | A y -> y | B y -> B y] = [e]
* iota2_expr: optimization regarding nested matches arguments. Implemented
simplify the monadic encoding of catala