summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2025-10-27Parse multiple let expressionsHEADmainArnaud Bailly
2025-10-27Parse let expressionsArnaud Bailly
2025-10-27Fix evaluation with environment by introducing ValueArnaud Bailly
2025-10-27Add more tests and referencesArnaud Bailly
2025-10-17feat: main program evaluates s-expressionsArnaud Bailly
2025-10-17feat: can desugar expressionsArnaud Bailly
2025-10-17feat: pretty-print expressionsArnaud Bailly
2025-10-17feat: parse an applicationArnaud Bailly
2025-10-17feat: parses single applicationArnaud Bailly
2025-10-17feat: parse λ-expr with multiple bindingsArnaud Bailly
2025-10-17feat: can parse a simple λ-expressionArnaud Bailly
2025-10-17feat: can parse an identifier as a variable (symbol)Arnaud Bailly
2025-10-17feat: introduce parser and ASTArnaud Bailly
2025-10-17feat: 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-13add minimal radicle CI configurationArnaud Bailly
2025-10-13add minimal evaluator and type inferenceArnaud Bailly
2025-10-13update from workshop 2bisArnaud Bailly
2025-10-09feat: more logsArnaud Bailly
2025-10-09feat: introduce arrow typesArnaud Bailly
2025-10-09feat: can type Bools and SymsArnaud Bailly
2025-10-09feat: introduce typing of expressionsArnaud Bailly
2025-10-09feat: can serve and receive Json or SexpArnaud Bailly
depending on Registration by client
2025-10-09feat: use client encoding (but always expect JSON)Arnaud Bailly
2025-10-09refactor: extract functionArnaud Bailly
2025-10-09feat: work with Value at generation and convert laterArnaud Bailly
2025-10-09feat: add AST representation choice for registrationArnaud Bailly
2025-10-09chore: check JSON representation of ValueArnaud Bailly
2025-10-09feat: serve /static directoryArnaud Bailly
useful to keep help instructions around
2025-10-09chore: add rust workspace file to please eglotArnaud Bailly
2025-10-09fix: clarify registration and use of netcatArnaud Bailly
2025-09-27feedback from geek campArnaud Bailly
2025-09-25add readmeArnaud Bailly
2025-07-06feat: start working on typecheckerArnaud Bailly
2025-06-28Typo: remove pluralEmmanuel Gaillot
2025-01-31Added example in Haskell and some more commentsArnaud Bailly
2025-01-26Move shared code to libraryArnaud Bailly
2025-01-26Add some more interesting links about PBTArnaud Bailly
2025-01-26Report reverse/reverse propertyArnaud Bailly
2025-01-26Improve array shrinkingArnaud Bailly
2025-01-25Added some 'interesting' properties about listsArnaud Bailly
These are the classical properties from Claessen and Hughes' paper. Shrinking is too expensive as it is so need to prune recursion tree.
2025-01-25Generate a random listArnaud Bailly
2025-01-25Start TS tiny PBT implementationArnaud Bailly
2025-01-25Fix links from toplevel README.mdArnaud Bailly
2025-01-25Link to README filesArnaud Bailly
2025-01-25Introduce PBT workshopArnaud Bailly
2025-01-25Move λ-calcul workshop code to subdirectoryArnaud Bailly
2024-10-16Add clojure evaluatorCédric
2024-10-16Delete duplicated files in java implementationCédric
2024-10-15Keep tester thread handle and abort when unregisteringArnaud Bailly
2024-10-14Refactor test result handling to separate mutation from evaluationArnaud Bailly
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-05 20:47:40 +0000