mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 13:09:33 -06:00
12 lines
154 B
Plaintext
12 lines
154 B
Plaintext
abstract Math = {
|
|
|
|
cat Prop ; Elem ;
|
|
|
|
fun
|
|
And : Prop -> Prop -> Prop ;
|
|
Even : Elem -> Prop ;
|
|
Odd : Elem -> Prop ;
|
|
Zero : Elem ;
|
|
|
|
}
|