13 lines
162 B
Plaintext
13 lines
162 B
Plaintext
struct {
|
|
|
|
T = Fn<a, b, c>(z: Fn(<>, <a>, b), y: Fn(<>, <b>, c)) -> Fn(<>, <a>, c) {
|
|
w = z;
|
|
return Fn<>(h: a) -> c {
|
|
w = y;
|
|
return w(z(h));
|
|
};
|
|
};
|
|
|
|
} main;
|
|
|