mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
12 lines
298 B
Plaintext
12 lines
298 B
Plaintext
concrete CalculatorS of Calculator = open Prelude in {
|
|
lin
|
|
EPlus = infix "plus" ;
|
|
EMinus = infix "minus" ;
|
|
ETimes = infix "times" ;
|
|
EDiv = infix ["divided by"] ;
|
|
EInt i = i ;
|
|
oper
|
|
infix : Str -> SS -> SS -> SS = \op,x,y ->
|
|
ss (x.s ++ op ++ y.s ++ "PAUSE") ;
|
|
}
|