<feed xmlns='http://www.w3.org/2005/Atom'>
<title>lambda-nantes/lambda-calcul/haskell/plan.md, branch main</title>
<subtitle>Unnamed repository; edit this file 'description' to name the repository.</subtitle>
<id>https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/plan.md?h=main</id>
<link rel='self' href='https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/plan.md?h=main'/>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/'/>
<updated>2026-03-22T15:05:42Z</updated>
<entry>
<title>Add strings handling</title>
<updated>2026-03-22T15:05:42Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2026-03-22T15:05:42Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=a1e0b0e5071f851c865ae567de7a28014a1eafc4'/>
<id>urn:sha1:a1e0b0e5071f851c865ae567de7a28014a1eafc4</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Add builtin arithmetic operators</title>
<updated>2026-03-22T12:16:21Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2026-03-22T12:16:21Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=4fed459d89b6b3abcce8028b19af806b48a38bd7'/>
<id>urn:sha1:4fed459d89b6b3abcce8028b19af806b48a38bd7</id>
<content type='text'>
* also allow choosing evaluator
* ensures equivalence of evaluators up-to α-renaming
* checks server accepts answers from challenge
</content>
</entry>
<entry>
<title>Add integers parsing</title>
<updated>2026-03-22T07:49:18Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2026-03-22T07:49:18Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=91ae5eb9e16b00603c3dfa5ec123c64dd140765d'/>
<id>urn:sha1:91ae5eb9e16b00603c3dfa5ec123c64dd140765d</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Add more challenges and plans for enhancement of the interpreter</title>
<updated>2026-03-21T08:06:47Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2026-03-21T08:06:47Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=fade9c496cebbc0caa97821cb85e9e56da31c57f'/>
<id>urn:sha1:fade9c496cebbc0caa97821cb85e9e56da31c57f</id>
<content type='text'>
</content>
</entry>
</feed>
