Search for tag: "head"

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod on November 15th, 2020 0 likes 242 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod on August 21st, 2020 0 likes 216 plays

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

From  Daniel Macleod on August 16th, 2020 0 likes 193 plays

cos326-2020-04-03-poly-ho

Polymorphism

From  Daniel Macleod on August 16th, 2020 0 likes 263 plays

cos326-2020-04-02-map-reduce-reasoning

Poly Ho!

From  Daniel Macleod on August 14th, 2020 1 likes 289 plays

cos326-2020-04-01-c-rant

C Rant

From  Daniel Macleod on August 14th, 2020 0 likes 200 plays

cos326-2020-03-03-insertion-sort

Insertion Sort

From  Daniel Macleod on August 14th, 2020 0 likes 261 plays