Lectures

Implementing a Kanren II

From == to run and recursion

Implementing a Kanren

Implementing microKanren from variables to conj/disj

more miniKanren

Practicing implementing miniKanren programming

miniKanren, finally

Warm-up append w/quasiquotes and unquotes + let

More Racketry, quasiquotes, commas, and patterns.

Warm-Up

Class intro; Racket 101

Headlines