<feed xmlns='http://www.w3.org/2005/Atom'>
<title>Sakura/lib/prelude/domains.ml, branch test-scaffolding</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/'/>
<entry>
<title>RNT interface</title>
<updated>2026-05-18T15:35:26+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-05-18T15:35:26+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=cf0fffed43d0ca7618cd0013411151e057b7a32a'/>
<id>cf0fffed43d0ca7618cd0013411151e057b7a32a</id>
<content type='text'>
Co-authored-by: Estevan Castilho &lt;tevo@riajuu.net&gt;</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
Co-authored-by: Estevan Castilho &lt;tevo@riajuu.net&gt;</pre>
</div>
</content>
</entry>
<entry>
<title>Multigroup unified reference for hierarchical access</title>
<updated>2026-05-12T02:10:27+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-05-12T02:10:27+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=e3d3e20dfea253de291d5b31059cd55c0eaabf02'/>
<id>e3d3e20dfea253de291d5b31059cd55c0eaabf02</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>format</title>
<updated>2026-04-03T19:17:38+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-04-03T19:17:38+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=63ae3c930de89af6f85229a467caa3f53cb844a2'/>
<id>63ae3c930de89af6f85229a467caa3f53cb844a2</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>constraints</title>
<updated>2026-03-08T04:12:02+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-03-08T04:12:02+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=99ac1e7d9b77d69f2a85a108468d4433953d8269'/>
<id>99ac1e7d9b77d69f2a85a108468d4433953d8269</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>domains</title>
<updated>2026-03-07T15:19:12+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-03-07T15:19:12+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=0e2e04e2545b53254c5cb8e031cacd212e7a427d'/>
<id>0e2e04e2545b53254c5cb8e031cacd212e7a427d</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
