Andrey Breslav
31 lines
418 B
Plaintext
31 lines
418 B
Plaintext
fun foo() {
|
|
{}
|
|
|
|
{foo}
|
|
|
|
{a -> a}
|
|
|
|
{(a) -> a}
|
|
{(a : A) -> a}
|
|
{(a : A) : T -> a}
|
|
{(a) : T -> a}
|
|
|
|
{(a, a) -> a}
|
|
{(a : A, a : B) -> a}
|
|
{(a : A, a) : T -> a}
|
|
{(a, a : B) : T -> a}
|
|
|
|
{() -> a}
|
|
{() -> a}
|
|
{() : T -> a}
|
|
{() : T -> a}
|
|
|
|
{T.(a) -> a}
|
|
{T.(a : A) -> a}
|
|
{T.(a : A) : T -> a}
|
|
{T.(a) : T -> a}
|
|
|
|
{x, y -> 1}
|
|
{[a] x, [b] y, [c] z -> 1}
|
|
}
|