search

AlacrisIO / meta

Internal management of Legicash/Legilogic/Alacris
0 stars 0 forks source link

Enforce XLInlinedProgram invariants #45

Open jeapostrophe opened 5 years ago

jeapostrophe commented 5 years ago

Either with a GADT on XLExpr or with a separate type of expressions.