mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-10 05:29:30 -06:00
10 lines
146 B
Plaintext
10 lines
146 B
Plaintext
abstract Compatibility = Cat ** {
|
|
|
|
-- from Noun 19/4/2008
|
|
|
|
fun
|
|
NumInt : Int -> Num ; -- 57
|
|
OrdInt : Int -> Ord ; -- 57
|
|
|
|
}
|