Search for tag: "excess"

23:57 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 on August 16th, 2020 0 likes 196 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ
22:56 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 on August 14th, 2020 0 likes 346 plays Date August 12th, 2020 Speaker David Walker Department COS Location Princeton NJ