Christian Rinderknecht
|
533c801c10
|
Cosmetics.
|
2019-05-24 19:31:03 +02:00 |
|
Georges Dupéron
|
c1f0743cb0
|
Moved repository to ligolang namespace
|
2019-05-24 11:28:52 +02:00 |
|
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 |
|