lambda-nantes/lambda-calcul/haskell/public/index.html, branch main Unnamed repository; edit this file 'description' to name the repository. https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/public/index.html?h=main 2025-11-04T05:05:35Z Add leaderboard 2025-11-04T05:05:35Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-04T05:05:35Z urn:sha1:3a8b518b8dec3ca9e983e5339bff797f25ac05ff added toplevel page 2025-11-04T04:49:36Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-04T04:49:36Z urn:sha1:b269980bdc57a644edc7510615a1ecaccd2ae057 Add tests for Net-based REPL 2025-11-01T18:09:40Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-01T18:09:40Z urn:sha1:10a9c6ba7bce2eefec3b43f1444ab6f732bdc50e Add server capability 2025-11-01T16:45:25Z Arnaud Bailly arnaud@pankzsoft.com 2025-11-01T16:45:25Z urn:sha1:2a20afb971ef3323955964b1bbb5f75af4ca5fcb