search

querycert / qcert

Compilation and Verification of Data-Centric Languages
https://querycert.github.io/
Apache License 2.0
56 stars 9 forks source link

(fix) Switch to OCaml 4.07.1 now that 4.08 is out #115

Closed jeromesimeon closed 5 years ago

jeromesimeon commented 5 years ago

Signed-off-by: Jerome Simeon jeromesimeon@me.com