English Base implementation with functor

2 files changed, 25 insertions, 0 deletions

diff --git a/examples/tutorial/semantics/BaseIEng.gf b/examples/tutorial/semantics/BaseIEng.gf
new file mode 100644
index 000000000..a73bd44c6
--- /dev/null
+++ b/examples/tutorial/semantics/BaseIEng.gf
@@ -0,0 +1,8 @@
+--# -path=.:prelude:present:api:mathematical
+
+concrete BaseIEng of Base = BaseI with
+  (Syntax = SyntaxEng), 
+  (Grammar = GrammarEng), 
+  (G = GrammarEng), 
+  (Symbolic = SymbolicEng), 
+  (LexBase = LexBaseEng) ;
diff --git a/examples/tutorial/semantics/LexBaseEng.gf b/examples/tutorial/semantics/LexBaseEng.gf
new file mode 100644
index 000000000..d0f3baa1e
--- /dev/null
+++ b/examples/tutorial/semantics/LexBaseEng.gf
@@ -0,0 +1,17 @@
+instance LexBaseEng of LexBase = open SyntaxEng, ParadigmsEng in {
+
+oper
+  even_A = mkA "even" ;
+  odd_A = mkA "odd" ;
+  prime_A = mkA "prime" ;
+  equal_A2 = mkA2 (mkA "equal") (mkPrep "to") ;
+  greater_A2 = mkA2 (mkA "greater") (mkPrep "than") ; ---
+  smaller_A2 = mkA2 (mkA "smaller") (mkPrep "than") ; ---
+  divisible_A2 = mkA2 (mkA "divisible") (mkPrep "by") ;
+  number_N = mkN "number" ;
+  sum_N2 = mkN2 (mkN "sum") (mkPrep "of") ;
+--  product_N2 : N2 ;
+--  gcd_N2 : N2 ;
+
+--  noSg_Det : Det ;
+}