liquid_stdversion Documentation on ocaml.org
The Standard Libarary for Liquid
The Standard Libarary for Liquid
| Author | Ben Faerber |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/benfaerber/liquid-ml |
| Issue Tracker | https://github.com/benfaerber/liquid-ml/issues |
| Maintainer | faerberbendev@protonmail.com |
| Dependencies |
|
| Source [http] | https://github.com/benfaerber/liquid-ml/archive/refs/tags/0.1.2.tar.gz md5=ddfb85944a4604cfe8e614363862f882 sha512=7a9e4582f8a773e953f6fb124c757a883f4528c130a1fc53c19c74b9a4006e505d4fcf0014393624c8e57c463a96db653e922f951cc88802f552a6fcef7eb097 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/liquid_std/liquid_std.0.1.2/opam |
Required by
- liquid_interpreter>=0.1.2
- liquid_ml>=0.1.2
