<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/subsystem/karuta/Translator.ml, branch karuta-subsystem</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>abstract translator so the program term uses the same shape as tuple</title>
<updated>2026-10-25T01:33:22+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-25T01:33:22+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=e8c8ba1ffd920aedaf24449322e8aaab9300aaec'/>
<id>e8c8ba1ffd920aedaf24449322e8aaab9300aaec</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>proper beam evaluator</title>
<updated>2026-10-25T01:07:40+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-25T01:07:40+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=4994bc0aacf08cf69bfaa3e31bd6767050f55efd'/>
<id>4994bc0aacf08cf69bfaa3e31bd6767050f55efd</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>translator for karuta subsystem</title>
<updated>2026-10-24T18:48:49+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-24T18:48:49+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=9e158f5dc42cbc51fa89e3627d2fd20918915f8b'/>
<id>9e158f5dc42cbc51fa89e3627d2fd20918915f8b</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
