RNT -

	Commit message (Collapse)	Author	Age	Files	Lines
*	share the condition check and employee fixture across tests	Marcos Magueta	4 days	1	-33/+12
\|
*	clearer names in fol, merging restrictions as they sink	Marcos Magueta	4 days	1	-2/+8
\|
*	where modes drop only the attribute its index reads	Marcos Magueta	4 days	1	-45/+65
\|
*	update tests and add beam tests	Marcos Magueta	4 days	1	-3/+161
\|
*	Formatting	Estevan Castilho	12 days	1	-6/+9
\|
*	temporary handle instead of type description everywhere	Marcos Magueta	2026-10-12	1	-2/+2
\|
*	relation scan with enumerable and release	Marcos Magueta	2026-10-12	1	-10/+3
\|
*	tests and some pointer for program on ephemeral	Marcos Magueta	2026-10-11	1	-96/+142
\|
*	fix testsdrop-journal	Marcos Magueta	2026-10-08	1	-5/+38
\|
*	FOL test with program instantiationrelation-bipartite-registration	Marcos Magueta	2026-10-02	1	-1/+93
\|
*	ephemeral relations as outputs of FOL and program overhaul	Marcos Magueta	2026-09-26	2	-164/+94
\|
*	dune fmt	Marcos Magueta	2026-09-25	2	-33/+21
\|
*	fix tests	Marcos Magueta	2026-09-23	2	-8/+4
\|
*	make substantial relation use merkle.interface	Marcos Magueta	2026-09-18	2	-4/+2
\|
*	substantial relation context removal and test fix	Marcos Magueta	2026-09-18	1	-4/+9
\|
*	fix lambda test and execute	Marcos Magueta	2026-09-18	1	-5/+13
\|
*	lambda latin	Marcos Magueta	2026-09-13	1	-0/+142
\|
*	fol evaluator	Marcos Magueta	2026-09-13	1	-0/+71