Search for tag: "excess"

cos326-2020-08-03-induction-lists duration 23 minutes 57 seconds cos326-2020-08-03-induction-lists cos326-2020-08-03-induction-lists	cos326-2020-08-03-induction-lists Did I Get it Right? Part 3: Induction for Lists cos326 length induction tail proofs proof hand side theorem cat cases head hypothesis expression lists excess equation cons element access function From Daniel Macleod 0 likes 203 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-03-02-lists duration 22 minutes 56 seconds cos326-2020-03-02-lists cos326-2020-03-02-lists	cos326-2020-03-02-lists Thinking Inductively cos326 function cons cases lists pattern element int pair pairs zip result tail integers expression base match option excess argument pause From Daniel Macleod 0 likes 360 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ