1.17.1
CHANGES:
Requires Menhir 20211230 and OCaml 4.08 or above.
Camlp5 8.0 or above is optional.
Builtins:
- New
unix.process
datatype andunix.process.open/close
APIs
What's Changed
- fix ci by @gares in #192
- Add "{open,close}-process" predicate by @phikal in #195
- elpi.util depends on unix by @gares in #193
- cleanup the unix.process API by @gares in #196
- do not error is lua is not present by @gares in #197
New Contributors
Full Changelog: v1.17.0...v1.17.1