diff options
Diffstat (limited to 'old-examples/tutorial/embedded/LexMathEng.gf')
| -rw-r--r-- | old-examples/tutorial/embedded/LexMathEng.gf | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/old-examples/tutorial/embedded/LexMathEng.gf b/old-examples/tutorial/embedded/LexMathEng.gf deleted file mode 100644 index 183fa520f..000000000 --- a/old-examples/tutorial/embedded/LexMathEng.gf +++ /dev/null @@ -1,8 +0,0 @@ -instance LexMathEng of LexMath = open SyntaxEng, ParadigmsEng in { - - oper - even_A = mkA "even" ; - odd_A = mkA "odd" ; - prime_A = mkA "prime" ; - -} |