diff options
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/pattern.lux | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/new-luxc/source/luxc/lang/pattern.lux b/new-luxc/source/luxc/lang/pattern.lux deleted file mode 100644 index 0b51e6284..000000000 --- a/new-luxc/source/luxc/lang/pattern.lux +++ /dev/null @@ -1,14 +0,0 @@ -(;module: - lux) - -(type: #export #rec Pattern - (#Bind Nat) - (#Bool Bool) - (#Nat Nat) - (#Int Int) - (#Deg Deg) - (#Real Real) - (#Char Char) - (#Text Text) - (#Tuple (List Pattern)) - (#Variant Nat Nat Pattern)) |