From c8ceed08efcc0bdc1fcbd89bce643d9f52f0991b Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 9 Dec 2009 09:47:16 +0000
Subject: moving a few things to deprecated

---
 old-lib/resource/doc/synopsis-example.txt | 51 -------------------------------
 1 file changed, 51 deletions(-)
 delete mode 100644 old-lib/resource/doc/synopsis-example.txt

(limited to 'old-lib/resource/doc/synopsis-example.txt')

diff --git a/old-lib/resource/doc/synopsis-example.txt b/old-lib/resource/doc/synopsis-example.txt
deleted file mode 100644
index 8c992339e..000000000
--- a/old-lib/resource/doc/synopsis-example.txt
+++ /dev/null
@@ -1,51 +0,0 @@
-
-The standard way of building an application has the following modules.
-
-An abstract syntax:
-```
-  abstract Music = {    
-  cat 
-    Kind, 
-    Property ;
-  fun 
-    PropKind : Kind -> Property -> Kind ; 
-    Song : Kind ;
-    American : Property ;
-  }
-```
-A domain lexicon interface:
-```
-  interface LexMusic = open Cat in {
-  oper
-    song_N : N ;
-    american_A : A ;
-  }
-```
-A functor on ``Syntax`` and the domain lexicon interface:
-```
-  incomplete concrete MusicI of Music = open Syntax, MusicLex in {
-  lincat 
-    Kind = CN ;
-    Property = AP ;
-  lin
-    PropKind k p = mkCN p k ;
-    Song = mkCN song_N ;
-    American = mkAP american_A ;
-  }
-```
-For each language, an instance of the domain lexicon:
-```
-  instance LexMusicGer of LexMusic = CatGer ** open ParadigmsGer in {    
-  oper
-    song_N = mkN "Lied" "Lieder" neuter ;
-    american_A = mkA "amerikanisch" ;
-  }
-```
-For each language, an instantiation of the functor:
-```
-  --# -path=.:present:prelude
-
-  concrete MusicGer of Music = MusicI with
-    (Syntax = SyntaxGer),
-    (LexMusic = LexMusicGer) ;
-```
-- 
cgit v1.2.3