Paul Patault 000fd2d347 coma: update stdlib + examples

2024-08-08 11:09:46 +02:00

..

let_ref.coma

coma: minor

2024-08-08 09:06:08 +02:00

pair_impair.coma

coma: update stdlib + examples

2024-08-08 11:09:46 +02:00

rec.coma

coma: subgoal factorization back online (disable with a debug flag)

2024-08-08 09:06:07 +02:00