<feed xmlns='http://www.w3.org/2005/Atom'>
<title>lambda-nantes/lambda-calcul/haskell/test/Minilang/REPL, 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/test/Minilang/REPL?h=main</id>
<link rel='self' href='https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/test/Minilang/REPL?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>evaluate terms when defining them</title>
<updated>2025-11-06T07:35:36Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-11-06T07:35:36Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=b87d5b45110cd7efe7109dd6d4e9c19ef28522aa'/>
<id>urn:sha1:b87d5b45110cd7efe7109dd6d4e9c19ef28522aa</id>
<content type='text'>
</content>
</entry>
<entry>
<title>can parse whole programs and load them</title>
<updated>2025-11-05T11:02:23Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-11-05T11:02:23Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=99e2ce71faa82e7b99574895e0fe24183ba9f6c3'/>
<id>urn:sha1:99e2ce71faa82e7b99574895e0fe24183ba9f6c3</id>
<content type='text'>
</content>
</entry>
<entry>
<title>Default REPL to Untyped language</title>
<updated>2025-11-04T07:47:15Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-11-04T07:10:46Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=1083bb7758a2dfe3f2861bf802627cec16933861'/>
<id>urn:sha1:1083bb7758a2dfe3f2861bf802627cec16933861</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>Handle :lang in REPL</title>
<updated>2025-11-03T20:22:52Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-11-03T20:22:52Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=16e0642ee4d09df1b032f8d30c7050cfac4d12f7'/>
<id>urn:sha1:16e0642ee4d09df1b032f8d30c7050cfac4d12f7</id>
<content type='text'>
</content>
</entry>
<entry>
<title>fix order of completion</title>
<updated>2025-11-02T17:23:29Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-11-02T17:21:37Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=d77a418f3d3575bf9bcb2c71c1ce8b178b916c01'/>
<id>urn:sha1:d77a418f3d3575bf9bcb2c71c1ce8b178b916c01</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>Add tests for Net-based REPL</title>
<updated>2025-11-01T18:09:40Z</updated>
<author>
<name>Arnaud Bailly</name>
<email>arnaud@pankzsoft.com</email>
</author>
<published>2025-11-01T18:09:40Z</published>
<link rel='alternate' type='text/html' href='https://git.punkachien.net/lambda-nantes/commit/?id=10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e'/>
<id>urn:sha1:10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e</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>
