<feed xmlns='http://www.w3.org/2005/Atom'>
<title>Sakura/lib/icl/ast.ml, branch docs/tuple-insertion</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/'/>
<entry>
<title>Format</title>
<updated>2026-06-24T02:53:26+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-06-24T02:53:26+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=c284fcd570342c31bc21169960579a20a763e32e'/>
<id>c284fcd570342c31bc21169960579a20a763e32e</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>Branching and naïve merge strategies</title>
<updated>2026-03-14T14:39:04+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-03-14T14:39:04+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/Sakura/commit/?id=e6661bfa6a3d7dc477d0b7717c80bd536eca2d68'/>
<id>e6661bfa6a3d7dc477d0b7717c80bd536eca2d68</id>
<content type='text'>
* AGPL license

* branching and merging

* Delete LICENSE in favor of separate PR

Signed-off-by: Marcos Magueta &lt;maguetamarcos@gmail.com&gt;

* add unmonitored tests and docs

---------

Signed-off-by: Marcos Magueta &lt;maguetamarcos@gmail.com&gt;</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
* AGPL license

* branching and merging

* Delete LICENSE in favor of separate PR

Signed-off-by: Marcos Magueta &lt;maguetamarcos@gmail.com&gt;

* add unmonitored tests and docs

---------

Signed-off-by: Marcos Magueta &lt;maguetamarcos@gmail.com&gt;</pre>
</div>
</content>
</entry>
</feed>
