<feed xmlns='http://www.w3.org/2005/Atom'>
<title>RNT/lib/kernel/Merkle.ml, branch indexes</title>
<subtitle></subtitle>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/'/>
<entry>
<title>range on the interface fold, stopping at the first error</title>
<updated>2026-10-31T05:55:39+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-31T05:55:39+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=b42d12cfc0b663085bd5ae9e5e2d491e727e731e'/>
<id>b42d12cfc0b663085bd5ae9e5e2d491e727e731e</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>format and where claude on fol</title>
<updated>2026-10-31T05:27:40+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-31T05:27:40+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=e76cc6f862656a3ada9fa3d4418bd060df937885'/>
<id>e76cc6f862656a3ada9fa3d4418bd060df937885</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>merkle range with test</title>
<updated>2026-10-31T04:57:48+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-31T04:57:48+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=1c6c4ef41d97c0696c5c8654e08ffdfe65a18823'/>
<id>1c6c4ef41d97c0696c5c8654e08ffdfe65a18823</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Use finger trees in more places</title>
<updated>2026-10-24T03:51:08+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-10-24T03:35:20+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=8c2f0db7337328570af57461a3d95203537ac185'/>
<id>8c2f0db7337328570af57461a3d95203537ac185</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>Forsake `fmap`</title>
<updated>2026-10-24T01:30:08+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-10-24T01:30:08+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=0f5161930584eaf91fd195b891ce7d9130c7b7f1'/>
<id>0f5161930584eaf91fd195b891ce7d9130c7b7f1</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>`fold_left` -&gt; `foldm_right`</title>
<updated>2026-10-24T00:20:04+00:00</updated>
<author>
<name>Estevan Castilho</name>
<email>tevo@riajuu.net</email>
</author>
<published>2026-10-24T00:20:04+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=0b1c7ca41a6d8ce41b9783153b567c16250913ff'/>
<id>0b1c7ca41a6d8ce41b9783153b567c16250913ff</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>result fold left</title>
<updated>2026-10-12T14:52:01+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-12T14:52:01+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=8cddc12efdff4fe1742039df493ab5e425a685c4'/>
<id>8cddc12efdff4fe1742039df493ab5e425a685c4</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>abstracting headers and merkle of list construction</title>
<updated>2026-10-12T14:47:14+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-12T14:47:14+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=a3acc318ead5620ac20f70815b4dfb0810ccd2a4'/>
<id>a3acc318ead5620ac20f70815b4dfb0810ccd2a4</id>
<content type='text'>
</content>
<content type='xhtml'>
<div xmlns='http://www.w3.org/1999/xhtml'>
<pre>
</pre>
</div>
</content>
</entry>
<entry>
<title>merkle remove</title>
<updated>2026-10-08T01:21:28+00:00</updated>
<author>
<name>Marcos Magueta</name>
<email>maguetamarcos@gmail.com</email>
</author>
<published>2026-10-08T01:21:28+00:00</published>
<link rel='alternate' type='text/html' href='http://src.symbolic.engineering/RNT/commit/?id=4c0c69dc571577e9c3ae68830c042cfaada603ae'/>
<id>4c0c69dc571577e9c3ae68830c042cfaada603ae</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>
</feed>
