From e7439d65b0e153434d3acc07df6e2a0972ee79ca Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Tue, 11 Jan 2011 15:46:43 +0000
Subject: gf-book web page index and toc

---
 book/examples/chapter3/ResIta.gf | 36 ------------------------------------
 1 file changed, 36 deletions(-)
 delete mode 100644 book/examples/chapter3/ResIta.gf

(limited to 'book/examples/chapter3/ResIta.gf')

diff --git a/book/examples/chapter3/ResIta.gf b/book/examples/chapter3/ResIta.gf
deleted file mode 100644
index 17809c498..000000000
--- a/book/examples/chapter3/ResIta.gf
+++ /dev/null
@@ -1,36 +0,0 @@
-resource ResIta = open Prelude in {
-  param
-    Number = Sg | Pl ;
-    Gender = Masc | Fem ;
-  oper
-    NounPhrase : Type = 
-      {s : Str ; g : Gender ; n : Number} ; 
-    Noun : Type = {s : Number => Str ; g : Gender} ;
-    Adjective : Type = {s : Gender => Number => Str} ;
-
-    det : Number -> Str -> Str -> Noun -> NounPhrase =
-      \n,m,f,cn -> {
-        s = table {Masc => m ; Fem => f} ! cn.g ++ 
-            cn.s ! n ;
-        g = cn.g ;
-        n = n
-      } ;
-    noun : Str -> Str -> Gender -> Noun =
-      \vino,vini,g -> {
-        s = table {Sg => vino ; Pl => vini} ;
-        g = g
-      } ;
-    adjective : (nero,nera,neri,nere : Str) -> Adjective =
-      \nero,nera,neri,nere -> {
-        s = table {
-          Masc => table {Sg => nero ; Pl => neri} ; 
-          Fem => table {Sg => nera ; Pl => nere}
-          }
-        } ;
-    regAdj : Str -> Adjective = \nero ->
-      let ner : Str = init nero 
-      in 
-      adjective nero (ner+"a") (ner+"i") (ner+"e") ;
-    copula : Number => Str = 
-      table {Sg => "è" ; Pl => "sono"} ;
-}
-- 
cgit v1.2.3