4 Commits

Author	SHA1	Message	Date
Georges Dupéron	b69e838bec	Extended lib_utils/pos.ml{i}. First import of Ligodity. (No "simplify" yet.)	2019-05-15 16:04:09 +02:00
Georges Dupéron	3a7d2a85f1	Fixed unused variable warning	2019-05-15 15:14:49 +02:00
Galfour	92254686b5	change opam files	2019-05-12 22:43:18 +00:00
Galfour	0290504a6a	initial commit	2019-05-12 20:50:18 +00:00