diff options
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 |
