RNT -

	Commit message (Expand)	Author	Files	Lines
11 days	Formatting	Estevan Castilho	1	-6/+9
2026-10-12	temporary handle instead of type description everywhere	Marcos Magueta	1	-2/+2
2026-10-12	relation scan with enumerable and release	Marcos Magueta	1	-10/+3
2026-10-11	tests and some pointer for program on ephemeral	Marcos Magueta	1	-96/+142
2026-10-08	fix testsdrop-journal	Marcos Magueta	1	-5/+38
2026-10-02	FOL test with program instantiationrelation-bipartite-registration	Marcos Magueta	1	-1/+93
2026-09-26	ephemeral relations as outputs of FOL and program overhaul	Marcos Magueta	2	-164/+94
2026-09-25	dune fmt	Marcos Magueta	2	-33/+21
2026-09-23	fix tests	Marcos Magueta	2	-8/+4
2026-09-18	make substantial relation use merkle.interface	Marcos Magueta	2	-4/+2
2026-09-18	substantial relation context removal and test fix	Marcos Magueta	1	-4/+9
2026-09-18	fix lambda test and execute	Marcos Magueta	1	-5/+13
2026-09-13	lambda latin	Marcos Magueta	1	-0/+142
2026-09-13	fol evaluator	Marcos Magueta	1	-0/+71