Report copyright - Why Dependent Types Matter - Nottinghampsztxa/publ/ydtm.pdf · sort xs : List Nat sort xs ⇐ general deal xs (ys; nil) ⇒ ys (ys; z :: zs) ⇒ merge (sort ys) (sort (z :: zs)) Figure
Please pass captcha verification before submit form
Please pass captcha verification before submit form