diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-12 10:07:07 +0200 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2024-10-12 10:07:07 +0200 |
| commit | 0ab73e47af2bba3fb2ff6a4bf08ada4a3309bf3e (patch) | |
| tree | 05e2b9ebd60e5c8175f086e1de73657032d9c2fc /java/Term.java | |
| parent | 3363ab2da764825558c859f4419ff99528ed2274 (diff) | |
| download | lambda-nantes-0ab73e47af2bba3fb2ff6a4bf08ada4a3309bf3e.tar.gz | |
Add java evaluator
Diffstat (limited to 'java/Term.java')
| -rw-r--r-- | java/Term.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/java/Term.java b/java/Term.java new file mode 100644 index 0000000..2dcc9fe --- /dev/null +++ b/java/Term.java @@ -0,0 +1,5 @@ +package org.lambdanantes.lcgoji.ast; + +public sealed interface Term permits Var, Abs, App { + +}
\ No newline at end of file |