diff options
Diffstat (limited to 'old-examples/tutorial/semantics/BaseIEng.gf')
| -rw-r--r-- | old-examples/tutorial/semantics/BaseIEng.gf | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/old-examples/tutorial/semantics/BaseIEng.gf b/old-examples/tutorial/semantics/BaseIEng.gf deleted file mode 100644 index a73bd44c6..000000000 --- a/old-examples/tutorial/semantics/BaseIEng.gf +++ /dev/null @@ -1,8 +0,0 @@ ---# -path=.:prelude:present:api:mathematical - -concrete BaseIEng of Base = BaseI with - (Syntax = SyntaxEng), - (Grammar = GrammarEng), - (G = GrammarEng), - (Symbolic = SymbolicEng), - (LexBase = LexBaseEng) ; |