new tutorial almost finished

2007-07-06 15:37:32 +00:00
parent 8517d2ead6
commit b425d960dc
8 changed files with 936 additions and 406 deletions
--- a/doc/tutorial/smarthouse/Smart.gf
+++ b/doc/tutorial/smarthouse/Smart.gf
@@ -0,0 +1,17 @@
+abstract Smart = {
+
+flags startcat = Command ;
+
+cat 
+  Command ; 
+  Kind ; 
+  Action Kind ; 
+  Device Kind ; 
+fun
+  CAction : (k : Kind) -> Action k -> Device k -> Command ;
+  DKindOne  : (k : Kind) -> Device k ;
+  light, fan : Kind ;
+  switchOn, switchOff : (k : Kind) -> Action k ;
+  dim : Action light ;
+}
+