Cédric Pasteur 5e73f46f7e Remove some unused code in Typing		2010-09-14 13:29:27 +02:00
..
analysis	Remove some unused code in Typing	2010-09-14 13:29:27 +02:00
main	Changed compile flags, and cleaned a bit.	2010-09-14 09:39:02 +02:00
parsing	Changed compile flags, and cleaned a bit.	2010-09-14 09:39:02 +02:00
transformations	Changed compile flags, and cleaned a bit.	2010-09-14 09:39:02 +02:00
_tags	move to subfolder compiler.	2010-06-21 11:58:57 +02:00
hept_mapfold.ml	Use a block in reset (instead of a list of eqs)	2010-07-23 10:56:25 +02:00
hept_printer.ml	Changed compile flags, and cleaned a bit.	2010-09-14 09:39:02 +02:00
heptagon.ml	Hept Scoping should be ok and documented,	2010-09-09 19:48:20 +02:00