hdiff
packages
feed
alms
-0.4.9: examples/ex11-affine-type-error.alms
(* Can't duplicate type `a (type error) *) let dup[`a] (x: `a) = (x, x)