<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/test/Helpers.ml, branch drop-journal</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>fix tests</title>
<updated>2026-10-08T05:12:17+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-08T05:12:17+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=46e348142d782cfd94ba37421f92e2871b0f4c22'/>
<id>46e348142d782cfd94ba37421f92e2871b0f4c22</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>fix multigroup deriving and tests</title>
<updated>2026-10-01T03:53:12+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-01T03:53:12+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=80b0e6fa676afaefbd3a6dc9edeab073343f0a2b'/>
<id>80b0e6fa676afaefbd3a6dc9edeab073343f0a2b</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>ephemeral relations as outputs of FOL and program overhaul</title>
<updated>2026-09-26T16:22:10+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-26T16:22:10+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=504e2d03a10f1641b36a9d5f127a18bc943562ce'/>
<id>504e2d03a10f1641b36a9d5f127a18bc943562ce</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>dune fmt</title>
<updated>2026-09-26T00:51:33+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-26T00:51:33+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=584fbca6d920e9a9f91d451667f9380714ac2175'/>
<id>584fbca6d920e9a9f91d451667f9380714ac2175</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>fix tests</title>
<updated>2026-09-23T06:47:47+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-23T06:47:47+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=41e5d7b8884f23a1e6b7991d1ffcd548d04c9560'/>
<id>41e5d7b8884f23a1e6b7991d1ffcd548d04c9560</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Revert "format"</title>
<updated>2026-08-23T03:06:53+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-08-03T02:38:05+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=b790c77c5e42a220a8419c69dbea3e392ee60fbe'/>
<id>b790c77c5e42a220a8419c69dbea3e392ee60fbe</id>
<content type='text'>
This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
This reverts commit fee14f4b29840357f87f02d51953f41ce90f7d9e.
</pre>
</div>
</content>
</entry>
<entry>
<title>format</title>
<updated>2026-08-23T03:06:53+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-08-03T02:37:51+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=8d59f43f445164e8cc8bd3fe1a23bd04e807a6b3'/>
<id>8d59f43f445164e8cc8bd3fe1a23bd04e807a6b3</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Move storage-related helpers to `Helpers`</title>
<updated>2026-08-01T00:30:46+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-08-01T00:30:46+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=a26d8bbd4dd854c17a57d38ef8d8fa0361cc5d7c'/>
<id>a26d8bbd4dd854c17a57d38ef8d8fa0361cc5d7c</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Storage layer scaffolding, LMDB backend</title>
<updated>2026-07-15T01:52:38+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-07-15T01:52:38+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=c374635a36d71e8cfff6e1c19b62e5d0e14ea371'/>
<id>c374635a36d71e8cfff6e1c19b62e5d0e14ea371</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
