Search for tag: "match"

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-11-01-computability

Computability

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

cos326-2020-08-02-induction-nats

Did I Get it Right? Part 2: Induction for Naturals

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

cos326-2020-03-02-lists

Thinking Inductively

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

cos326-2020-03-01-options

Options

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