Christian Rinderknecht c60329ef78 Fixed the build (which I broke, sorry).		2019-05-15 16:05:03 +02:00
..
camligo.ml	Move into src/; add vendors/ subfolder, add CI script.	2019-05-14 17:53:44 +02:00
dune	Fixed the build (which I broke, sorry).	2019-05-15 16:05:03 +02:00
ligodity.ml	More rewrites. [Still not compiling.]	2019-05-15 16:05:03 +02:00
pascaligo.ml	Move into src/; add vendors/ subfolder, add CI script.	2019-05-14 17:53:44 +02:00
simplify.ml	Fixed the build (which I broke, sorry).	2019-05-15 16:05:03 +02:00