Christian Rinderknecht
|
53314c2c0c
|
Removed "assert" as reserved. Enabled terminating ";" in lists.
|
2019-06-10 15:19:42 +02:00 |
|
Georges Dupéron
|
28d3bc8c3f
|
Merge repository ligo-opam-repository
|
2019-05-27 11:54:29 +02:00 |
|
Georges Dupéron
|
22b331dbed
|
Added tests to build, fixed some unused variables.
|
2019-05-15 15:17:04 +02:00 |
|
Georges Dupéron
|
c43570a82d
|
Move into src/; add vendors/ subfolder, add CI script.
|
2019-05-14 17:53:44 +02:00 |
|
Galfour
|
b1711ca86d
|
initial commit
|
2019-05-12 21:13:37 +00:00 |
|
Galfour
|
1edfd8ea06
|
initial commit
|
2019-05-12 20:57:30 +00:00 |
|