summaryrefslogtreecommitdiff
path: root/lambda-calcul/elixir/ast_test.exs
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-10-28 18:34:16 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-10-28 18:48:27 +0100
commita210419fd60c00d011f70fb1b968031621e4c01a (patch)
tree68e7f8891970c230a63755e7714bb6f66f00a99d /lambda-calcul/elixir/ast_test.exs
parent1c4a175e00e727ac4987f60503bd7dbaeb3f26ad (diff)
downloadlambda-nantes-a210419fd60c00d011f70fb1b968031621e4c01a.tar.gz
Provide function to go back from a deBruijn term to an AST
Diffstat (limited to 'lambda-calcul/elixir/ast_test.exs')
0 files changed, 0 insertions, 0 deletions