started a subdir for the book

This commit is contained in:
aarne
2010-11-22 12:55:37 +00:00
parent 0bf4179369
commit 76ba03b545
97 changed files with 2026 additions and 0 deletions

View File

@@ -0,0 +1,14 @@
concrete CalculatorP of Calculator = open Prelude in {
lincat
Exp = SS ;
lin
EPlus = infix "+" ;
EMinus = infix "-" ;
ETimes = infix "*" ;
EDiv = infix "/" ;
EInt i = i ;
oper
infix : Str -> SS -> SS -> SS = \f,x,y ->
ss ("(" ++ x.s ++ f ++ y.s ++ ")") ;
}