index
:
lambda-nantes
main
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lambda-calcul
/
haskell
/
minilang.cabal
Age
Commit message (
Collapse
)
Author
2026-03-21
Add more challenges and plans for enhancement of the interpreter
Arnaud Bailly
2025-11-29
start simple bank example
Arnaud Bailly
2025-11-05
provide help on the leaderboard and OpenAPI specification
Arnaud Bailly
2025-11-05
use hex-encoding for tokens
Arnaud Bailly
2025-11-04
Register user and return random token
Arnaud Bailly
2025-11-04
Default REPL to Untyped language
Arnaud Bailly
2025-11-04
Scaffold RESTish API for challenge
Arnaud Bailly
2025-11-01
Add tests for Net-based REPL
Arnaud Bailly
2025-11-01
Add server capability
Arnaud Bailly
2025-10-28
wip: port REPL from minilang
Arnaud Bailly
2025-10-28
wip: use de Bruijn indices representation
Arnaud Bailly
provide sample complex terms to evaluate
2025-10-17
feat: can parse an identifier as a variable (symbol)
Arnaud Bailly
2025-10-17
feat: introduce parser and AST
Arnaud Bailly
2025-10-17
feat: add basic application to evaluate "programs"
Arnaud Bailly
The main simply reads from its stdin, evaluates its input, and dump the result of the evaluation.
2025-10-13
add minimal evaluator and type inference
Arnaud Bailly