<feed xmlns='http://www.w3.org/2005/Atom'>
<title>lambda-nantes/lambda-calcul/haskell/src/Minilang/REPL/Pure.hs, 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/src/Minilang/REPL/Pure.hs?h=main</id>
<link rel='self' href='https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/src/Minilang/REPL/Pure.hs?h=main'/>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/'/>
<updated>2026-04-01T14:22:02Z</updated>
<entry>
<title>Remove answers from sent challenges</title>
<updated>2026-04-01T14:22:02Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2026-04-01T14:18:01Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=f6dde1041a52da4f2e7ccb77eed3c577f9d07798'/>
<id>urn:sha1:f6dde1041a52da4f2e7ccb77eed3c577f9d07798</id>
<content type='text'>
Also fix integration test
</content>
</entry>
<entry>
<title>handle defitions in untyped language</title>
<updated>2025-11-05T08:15:46Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-11-05T08:15:46Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=ae59f17cb3d58de7afca7f441d8bcf9a718e024c'/>
<id>urn:sha1:ae59f17cb3d58de7afca7f441d8bcf9a718e024c</id>
<content type='text'>
</content>
</entry>
<entry>
<title>resugar evaluated term</title>
<updated>2025-11-03T21:08:25Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-11-03T21:08:25Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=186785c7bc7d511fef75ec22e72143f7707ae886'/>
<id>urn:sha1:186785c7bc7d511fef75ec22e72143f7707ae886</id>
<content type='text'>
</content>
</entry>
<entry>
<title>fix tests and add HTML stuff to deployment</title>
<updated>2025-11-02T17:18:50Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-11-02T17:18:50Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=d8e4ef2a4611682e273ca18189b1bebf791a1bb8'/>
<id>urn:sha1:d8e4ef2a4611682e273ca18189b1bebf791a1bb8</id>
<content type='text'>
</content>
</entry>
<entry>
<title>wip: port REPL from minilang</title>
<updated>2025-10-28T19:14:16Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-10-28T19:14:16Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=1d1f0efc7de1eaa0c8a6b503892c2f950008fde6'/>
<id>urn:sha1:1d1f0efc7de1eaa0c8a6b503892c2f950008fde6</id>
<content type='text'>
</content>
</entry>
</feed>
