mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-19 00:15:39 +03:00
Last typo
This commit is contained in:
parent
79801292e9
commit
91ee1122f6
@ -15,7 +15,7 @@ Related modules:
|
|||||||
|
|
||||||
{!modules: Dcalc.Ast}
|
{!modules: Dcalc.Ast}
|
||||||
|
|
||||||
{ 1 Invariants }
|
{1 Invariants }
|
||||||
|
|
||||||
While Dcalc is a superset of a fully-fledged simply typed lambda calculus,
|
While Dcalc is a superset of a fully-fledged simply typed lambda calculus,
|
||||||
the Dcalc code actually generated from the previous intermediate representation
|
the Dcalc code actually generated from the previous intermediate representation
|
||||||
|
Loading…
Reference in New Issue
Block a user