mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-16 00:09:31 -06:00
13 lines
261 B
Plaintext
13 lines
261 B
Plaintext
resource record = {
|
|
|
|
param P = A;
|
|
|
|
oper
|
|
hello = id "hello";
|
|
-- Id should be an identity function for Str
|
|
--id : Str -> Str = \ s -> s ;
|
|
id : Str -> Str = \ s -> ({a=s}**f r).a;
|
|
f : { b:Str } -> { b:Str } = \ x -> x;
|
|
r : { a:P; b:Str} = {a=A;b="b"};
|
|
}
|