Denis Merigoux effc2b24e4 Optimizations for defaults in Dcalc		2022-01-31 15:27:58 +01:00
..
ast.ml	[skip ci] reorganized desugared to scope encoding, broke some invariants	2022-01-28 17:31:31 +01:00
ast.mli	[skip ci] reorganized desugared to scope encoding, broke some invariants	2022-01-28 17:31:31 +01:00
dcalc.mld	Documentation pass	2022-01-19 10:54:16 +01:00
dune	Renamed and grouped modules cleanly	2022-01-08 18:37:04 +01:00
interpreter.ml	Fixed last bug around rule refactoring	2022-01-31 13:55:25 +01:00
interpreter.mli	Optimizations for defaults in Dcalc	2022-01-31 15:27:58 +01:00
optimizations.ml	Optimizations for defaults in Dcalc	2022-01-31 15:27:58 +01:00
optimizations.mli	Optimizations for defaults in Dcalc	2022-01-31 15:27:58 +01:00
print.ml	[skip ci] reorganized desugared to scope encoding, broke some invariants	2022-01-28 17:31:31 +01:00
print.mli	Documentation pass	2022-01-19 10:54:16 +01:00
typing.ml	Autoformatting	2022-01-10 18:36:14 +01:00
typing.mli	Big renaming and dir reorg	2021-06-21 11:39:06 +02:00