RNT -

	Commit message (Collapse)	Author	Age	Files	Lines
*	ephemeral relations as outputs of FOL and program overhaul	Marcos Magueta	2026-09-26	1	-139/+0
\|
*	dune fmt	Marcos Magueta	2026-09-25	1	-24/+15
\|
*	fix tests	Marcos Magueta	2026-09-23	1	-4/+2
\|
*	make substantial relation use merkle.interface	Marcos Magueta	2026-09-18	1	-1/+1
\|
*	fix lambda test and execute	Marcos Magueta	2026-09-18	1	-5/+13
\|
*	lambda latin	Marcos Magueta	2026-09-13	1	-0/+142