mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
11 lines
226 B
Plaintext
11 lines
226 B
Plaintext
concrete CalculatorC of Calculator = open Formal, Prelude in {
|
|
lincat
|
|
Exp = TermPrec ;
|
|
lin
|
|
EPlus = infixl 0 "+" ;
|
|
EMinus = infixl 0 "-" ;
|
|
ETimes = infixl 1 "*" ;
|
|
EDiv = infixl 1 "/" ;
|
|
EInt i = constant i.s ;
|
|
}
|