OSS/loaf
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases 4 Packages Wiki Activity Actions
4 releases 4 tags
  • v0.1.0-beta.4 a45cd5e3a2

    LOAF 0.1.0-beta.4
    All checks were successful
    CI / tool (push) Successful in 37m52s
    Details
    CI / spec (push) Successful in 33s
    Details
    CI / licenses (push) Successful in 45s
    Details
    Pre-release

    julien.blond released this 2026-10-30 21:20:58 +00:00 | 2 commits to main since this release

    Fourth preview of LOAF 0.1 (specification still a draft).

    Changes since 0.1.0-beta.3: the ASP form declares every predicate of the vocabulary with #defined, so that clingo does not report the predicates a set of files leaves empty.

    opam pin add loaf git+https://forge.ocamlpro.com/OSS/loaf.git#v0.1.0-beta.4
    Downloads