2 lines
40 B
WDTE
2 lines
40 B
WDTE
|
let example t => 3 -> (@ s n => * t n);
|
|
|
let example t => 3 -> (@ s n => * t n);
|