Report copyright - Haskell: Types! - Princeton University Computer Science · –reasoning about Haskell programs •unfolding definitions •using simple laws of arithmetic or other facts/lemmas •induction
Please pass captcha verification before submit form