typing_pi.dk 34 Bytes
Newer Older
Gaspard FEREY's avatar
Gaspard FEREY committed
1 2 3 4
#NAME pi.
T:Type.
x:T.
f:x->Type.