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.2 566a6cd925

    LOAF 0.1.0-beta.2
    All checks were successful
    CI / licenses (push) Successful in 22s
    Details
    CI / spec (push) Successful in 38s
    Details
    CI / tool (push) Successful in 7m21s
    Details
    Pre-release

    julien.blond released this 2026-10-30 16:43:41 +00:00 | 6 commits to main since this release

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

    Changes since 0.1.0-beta.1: public interface (module Loaf), SHA-256 from digestif, ASP form of the program cross-checked against clingo, codes L001 to L014, attributes read through their block and through references (~.db.user), instructions whose template has no value refused (L014), escapes in strings, document view of renderings, canonical form of long facts.

    Not yet published on opam:

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