diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-28 18:34:16 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-28 18:48:27 +0100 |
| commit | a210419fd60c00d011f70fb1b968031621e4c01a (patch) | |
| tree | 68e7f8891970c230a63755e7714bb6f66f00a99d /lambda-calcul/clojure/test/lccl/lc/evaluator_test.clj | |
| parent | 1c4a175e00e727ac4987f60503bd7dbaeb3f26ad (diff) | |
| download | lambda-nantes-a210419fd60c00d011f70fb1b968031621e4c01a.tar.gz | |
Provide function to go back from a deBruijn term to an AST
Diffstat (limited to 'lambda-calcul/clojure/test/lccl/lc/evaluator_test.clj')
0 files changed, 0 insertions, 0 deletions