mirror of
https://github.com/GrammaticalFramework/gf-rgl.git
synced 2026-07-03 12:38:33 -06:00
Initial Files for Rukiga RGL brough from previous coding before git tracking
This commit is contained in:
Executable
+16
@@ -0,0 +1,16 @@
|
||||
--# -path=.:../prelude:../abstract:../common
|
||||
|
||||
concrete CompatibilityCgg of Compatibility = CatCgg **
|
||||
open Prelude, ResCgg in {
|
||||
|
||||
|
||||
{-
|
||||
abstract Compatibility = Cat ** {
|
||||
|
||||
fun
|
||||
NumInt : Int -> Num ; -- 57
|
||||
OrdInt : Int -> Ord ; -- 57
|
||||
|
||||
-}
|
||||
|
||||
}
|
||||
Reference in New Issue
Block a user