forked from GitHub/gf-core
41 lines
746 B
Plaintext
41 lines
746 B
Plaintext
concrete MathIta of Math = {
|
|
|
|
lincat
|
|
Prop, Exp = Str ;
|
|
|
|
lin
|
|
And a b = a ++ "e" ++ b ;
|
|
Or a b = a ++ "o" ++ b ;
|
|
If a b = "si" ++ a ++ "allora" ++ b ;
|
|
|
|
Zero = "zero" ;
|
|
|
|
Successor x = "il successore di" ++ x ;
|
|
|
|
Sum x y = "la somma di" ++ x ++ "e" ++ y ;
|
|
Product x y = "il prodotto di" ++ x ++ "e" ++ y ;
|
|
|
|
Even x = x ++ "è pari" ;
|
|
Odd x = x ++ "è dispari" ;
|
|
Prime x = x ++ "è primo" ;
|
|
|
|
Equal x y = x ++ "è uguale a" ++ y ;
|
|
Less x y = x ++ "è inferiore a" ++ y ;
|
|
Greater x y = x ++ "è superiore a" ++ y ;
|
|
Divisible x y = x ++ "è divisibile per" ++ y ;
|
|
|
|
lincat
|
|
Var = Str ;
|
|
lin
|
|
X = "x" ;
|
|
Y = "y" ;
|
|
|
|
EVar x = x ;
|
|
EInt i = i.s ;
|
|
|
|
ANumberVar x = "un numero" ++ x ;
|
|
TheNumberVar x = "il numero" ++ x ;
|
|
|
|
|
|
}
|