9 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Arnaud DABY-SEESARAM	8775edc6fc	[parser] working equation type-checker	2022-12-10 00:33:14 +01:00
Arnaud DABY-SEESARAM	53e356ff55	merge: fby: transformation -> pre dans le parseur	2022-12-09 23:22:05 +01:00
Arnaud DABY-SEESARAM	347cb3a11d	[parser] ajout de fby (proposition alternative) + type checker (sera factorisé)	2022-12-09 23:18:13 +01:00
Arnaud DABY-SEESARAM	a29666f673	[parser] type-checking	2022-12-08 17:52:19 +01:00
Arnaud DABY-SEESARAM	f64a25b0b5	[cleaning]	2022-12-08 14:34:50 +01:00
Arnaud DABY-SEESARAM	428b0a75e2	[parser] (wip) explicitely typing the language	2022-12-09 16:33:07 +01:00
Arnaud DABY-SEESARAM	f84279c5d8	[parser] fixes + pretty_printers	2022-12-09 15:47:27 +01:00
Arnaud DABY-SEESARAM	74c04a0e4e	[parser] new parser, no more pp (for now)	2022-12-09 14:26:28 +01:00
Arnaud DABY-SEESARAM	b57cee3f73	[ast] GADTs	2022-12-08 19:49:57 +01:00