lambda-nantes/lambda-calcul/haskell/src/Minilang/IO.hs, branch mainUnnamed repository; edit this file 'description' to name the repository.https://git.punkachien.net/lambda-nantes/atom/lambda-calcul/haskell/src/Minilang/IO.hs?h=main2025-10-28T17:48:27ZProvide function to go back from a deBruijn term to an AST2025-10-28T17:48:27ZArnaud Baillyarnaud@pankzsoft.com2025-10-28T17:34:16Zurn:sha1:a210419fd60c00d011f70fb1b968031621e4c01awip: use de Bruijn indices representation2025-10-28T15:42:28ZArnaud Baillyarnaud@pankzsoft.com2025-10-28T15:42:28Zurn:sha1:1c4a175e00e727ac4987f60503bd7dbaeb3f26ad
provide sample complex terms to evaluate
feat: main program evaluates s-expressions2025-10-17T20:29:01ZArnaud Baillyarnaud@pankzsoft.com2025-10-17T20:29:01Zurn:sha1:5cba53dd054222ce3319a1efe6803952c9675889feat: add basic application to evaluate "programs"2025-10-17T08:14:33ZArnaud Baillyarnaud@pankzsoft.com2025-10-17T07:52:06Zurn:sha1:c3a175e808b279eb415bcb5dbcb9db5f34035f98
The main simply reads from its stdin, evaluates its input, and dump
the result of the evaluation.
add minimal radicle CI configuration2025-10-13T16:46:17ZArnaud Baillyarnaud@pankzsoft.com2025-10-13T16:46:17Zurn:sha1:c6eaf6f117e0fe6c92a81dab542845d4ae8f64f7