mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-12 14:29:31 -06:00
20 lines
275 B
Plaintext
20 lines
275 B
Plaintext
-- 20 Dec 2005, 9.45
|
|
|
|
abstract Formula = {
|
|
|
|
cat
|
|
Formula ;
|
|
Term ;
|
|
|
|
fun
|
|
And, Or, If : (_,_ : Formula) -> Formula ;
|
|
Not : Formula -> Formula ;
|
|
Abs : Formula ;
|
|
|
|
---- All, Exist : (Term -> Formula) -> Formula ;
|
|
|
|
-- to test
|
|
|
|
A, B, C : Formula ;
|
|
|
|
} |