diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/tutorial/old/semantics/Answer.hs (renamed from examples/tutorial/semantics/Answer.hs) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/AnswerBase.hs (renamed from examples/tutorial/semantics/AnswerBase.hs) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/Base.gf (renamed from examples/tutorial/semantics/Base.gf) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/BaseEng.gf (renamed from examples/tutorial/semantics/BaseEng.gf) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/BaseI.gf (renamed from examples/tutorial/semantics/BaseI.gf) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/BaseIEng.gf (renamed from examples/tutorial/semantics/BaseIEng.gf) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/BaseSwe.gf (renamed from examples/tutorial/semantics/BaseSwe.gf) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/GSyntax.hs (renamed from examples/tutorial/semantics/GSyntax.hs) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/LexBase.gf (renamed from examples/tutorial/semantics/LexBase.gf) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/LexBaseEng.gf (renamed from examples/tutorial/semantics/LexBaseEng.gf) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/LexBaseSwe.gf (renamed from examples/tutorial/semantics/LexBaseSwe.gf) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/Logic.hs (renamed from examples/tutorial/semantics/Logic.hs) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/SemBase.hs (renamed from examples/tutorial/semantics/SemBase.hs) | 0 | ||||
| -rw-r--r-- | examples/tutorial/old/semantics/Top.hs (renamed from examples/tutorial/semantics/Top.hs) | 0 |
14 files changed, 0 insertions, 0 deletions
diff --git a/examples/tutorial/semantics/Answer.hs b/examples/tutorial/old/semantics/Answer.hs index 08a76c5f1..08a76c5f1 100644 --- a/examples/tutorial/semantics/Answer.hs +++ b/examples/tutorial/old/semantics/Answer.hs diff --git a/examples/tutorial/semantics/AnswerBase.hs b/examples/tutorial/old/semantics/AnswerBase.hs index 56e2b5451..56e2b5451 100644 --- a/examples/tutorial/semantics/AnswerBase.hs +++ b/examples/tutorial/old/semantics/AnswerBase.hs diff --git a/examples/tutorial/semantics/Base.gf b/examples/tutorial/old/semantics/Base.gf index 85868d7ac..85868d7ac 100644 --- a/examples/tutorial/semantics/Base.gf +++ b/examples/tutorial/old/semantics/Base.gf diff --git a/examples/tutorial/semantics/BaseEng.gf b/examples/tutorial/old/semantics/BaseEng.gf index bd79bc98c..bd79bc98c 100644 --- a/examples/tutorial/semantics/BaseEng.gf +++ b/examples/tutorial/old/semantics/BaseEng.gf diff --git a/examples/tutorial/semantics/BaseI.gf b/examples/tutorial/old/semantics/BaseI.gf index b7ed86666..b7ed86666 100644 --- a/examples/tutorial/semantics/BaseI.gf +++ b/examples/tutorial/old/semantics/BaseI.gf diff --git a/examples/tutorial/semantics/BaseIEng.gf b/examples/tutorial/old/semantics/BaseIEng.gf index a73bd44c6..a73bd44c6 100644 --- a/examples/tutorial/semantics/BaseIEng.gf +++ b/examples/tutorial/old/semantics/BaseIEng.gf diff --git a/examples/tutorial/semantics/BaseSwe.gf b/examples/tutorial/old/semantics/BaseSwe.gf index 6329c1c9c..6329c1c9c 100644 --- a/examples/tutorial/semantics/BaseSwe.gf +++ b/examples/tutorial/old/semantics/BaseSwe.gf diff --git a/examples/tutorial/semantics/GSyntax.hs b/examples/tutorial/old/semantics/GSyntax.hs index 6c67e40aa..6c67e40aa 100644 --- a/examples/tutorial/semantics/GSyntax.hs +++ b/examples/tutorial/old/semantics/GSyntax.hs diff --git a/examples/tutorial/semantics/LexBase.gf b/examples/tutorial/old/semantics/LexBase.gf index 83713a35f..83713a35f 100644 --- a/examples/tutorial/semantics/LexBase.gf +++ b/examples/tutorial/old/semantics/LexBase.gf diff --git a/examples/tutorial/semantics/LexBaseEng.gf b/examples/tutorial/old/semantics/LexBaseEng.gf index aea3a838b..aea3a838b 100644 --- a/examples/tutorial/semantics/LexBaseEng.gf +++ b/examples/tutorial/old/semantics/LexBaseEng.gf diff --git a/examples/tutorial/semantics/LexBaseSwe.gf b/examples/tutorial/old/semantics/LexBaseSwe.gf index 6ac1904aa..6ac1904aa 100644 --- a/examples/tutorial/semantics/LexBaseSwe.gf +++ b/examples/tutorial/old/semantics/LexBaseSwe.gf diff --git a/examples/tutorial/semantics/Logic.hs b/examples/tutorial/old/semantics/Logic.hs index b5c615da5..b5c615da5 100644 --- a/examples/tutorial/semantics/Logic.hs +++ b/examples/tutorial/old/semantics/Logic.hs diff --git a/examples/tutorial/semantics/SemBase.hs b/examples/tutorial/old/semantics/SemBase.hs index b682010e1..b682010e1 100644 --- a/examples/tutorial/semantics/SemBase.hs +++ b/examples/tutorial/old/semantics/SemBase.hs diff --git a/examples/tutorial/semantics/Top.hs b/examples/tutorial/old/semantics/Top.hs index 51d5fbb99..51d5fbb99 100644 --- a/examples/tutorial/semantics/Top.hs +++ b/examples/tutorial/old/semantics/Top.hs |