forked from GitHub/gf-core
12 lines
205 B
Plaintext
12 lines
205 B
Plaintext
i -src testsuite/runtime/linearize/TestCnc.gf
|
|
|
|
l Even ?
|
|
l Exist (\x -> <Even : E -> S> x)
|
|
l f a
|
|
l fa a
|
|
l fb a
|
|
l IsString "abcd"
|
|
l IsInteger 100
|
|
l IsFloat 12.4
|
|
l <IsString "xyz" : S>
|
|
l <\x -> x : S -> S> |