Sakura/flake.nix, branch docs/tuple-insertion

RNT ephemeral relations representation

2026-06-23T01:55:27+00:00

Migrate the plan action constructors over to the unified interface (#73)

2026-06-11T00:42:33+00:00

* Bump `RNT` to a version including the new unified planner interface

* Use the new unified planner interface

* github workflow

* Revert "github workflow"

This reverts commit 294b35a81569819047d4af173000b4ff7bc5d6a6.

* But do keep the flake changes

---------

Co-authored-by: Marcos Magueta

RNT interface

2026-05-18T15:35:26+00:00

Co-authored-by: Estevan Castilho

Multigroup unified reference for hierarchical access

2026-05-12T02:10:27+00:00

remove interop with c

2026-04-04T20:10:32+00:00

Polarity walker, constraint and manipulation refactor with batteries

2026-04-03T19:04:05+00:00

Sublanguages improvement & Coq experiment (#53)

2026-03-22T03:33:50+00:00

* separation and functor for sublanguages

* add coq experiment for termination

* fix tests with envelopes

* add timestamp and print responses to server on terminal

* remove coq experiment for trivial cases and rework gate

* refactor nesting with let*

* remove non-envelope sublang support and tests on server

* manip_err duplication purge and better format as s-expr

* abstract storage with dispatch for sublanguages

* dead code and minor refactor due to old non-envelope parsing on subl

* refactor server to use proper dml alg error and wire ephem relations

* remove (schema)

* change .gitignore to blacklist folders

erlang port commands and generated tests

2026-03-07T05:40:26+00:00

ocaml re-migration

2026-03-06T02:42:15+00:00

Fix comparison relation order, rebranding & roadmap (#50)

2026-02-06T23:18:17+00:00