diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-01-18 16:45:03 -0600 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-01-18 16:45:03 -0600 |
| commit | 81fb055292f49a76732c1966874b8d2ad2cb1807 (patch) | |
| tree | 7e9a8e9128a0a28616c55b50f12e8bfe4da2660b /discocaml/eval.ml | |
| parent | c3efede502f0f9ba3b03195ac8f30fff0376c8ab (diff) | |
Start of our own AST.
Diffstat (limited to 'discocaml/eval.ml')
| -rw-r--r-- | discocaml/eval.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/discocaml/eval.ml b/discocaml/eval.ml new file mode 100644 index 0000000..68bb637 --- /dev/null +++ b/discocaml/eval.ml @@ -0,0 +1,7 @@ +open Ast + +type path = int list +(** A path from the root of a term to a subterm. *) + +let find_redex_cbv : expr -> path option = function _ -> None +let find_redex_cbn : expr -> path option = function _ -> None |