<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/evaluators/Lambda.ml, branch constraints</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>fix lambda test and execute</title>
<updated>2026-09-18T03:01:08+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-18T03:01:08+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=1d4125dd8ccbe272a190c155a4215daf1f362f10'/>
<id>1d4125dd8ccbe272a190c155a4215daf1f362f10</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>WIP forsake context</title>
<updated>2026-09-17T03:36:40+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-09-17T03:36:30+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=24bb5eab738e291ee170f4fd563f39e33f65f37d'/>
<id>24bb5eab738e291ee170f4fd563f39e33f65f37d</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>lambda latin</title>
<updated>2026-09-13T20:55:41+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-09-13T20:55:41+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=0de0e710e43ab7f84cae4b2d757918d3c28f3470'/>
<id>0de0e710e43ab7f84cae4b2d757918d3c28f3470</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
</feed>
