lambda-mountain
lambda-mountain copied to clipboard
Published
20 hours ago •
andrew-johnson-4
andrew-johnson-4
Specialization leads to "stuck" parameterized calls
f : L -> Nil;
f : Sized<0> -> Nil;
L should be a subtype of Sized<0> but gets stuck.
