miniKanren Advanced Series #1

(2:5:6)

miniKanren - Dan Friedman and William Byrd

(46:17)

A Vision for Relational Programming in miniKanren - William E. Byrd

(43:50)

μKanren: Running the Little Things Backwards - Bodil Stokke

(39:55)

miniKanren 2021 - Universal Quantification and Implication in miniKanren

(21:19)

miniKanren Advanced Series #12

(2:43:11)

miniKanren Advanced Series #11

(2:8:47)

William Byrd on \

(1:31:6)

Gerald Jay Sussman: The Role of Programming (Dan Friedman's 60th Birthday)

(27:45)

Guy Steele: Dan Friedman--Cool Ideas (Dan Friedman's 60th Birthday)

(57:1econd)

Python Sudoku Solver - Computerphile

(10:53)

miniKanren Philosophy - William Byrd \u0026 Daniel Friedman

(39:58)

Introduction to Functional Programming via Racket by Jay McCarthy

(1:3:49)

miniKanren uncourse #1

(1:56:31)

Challenges for Logic Programming - Steve Miner

(40:46)

Introduction to Logic Programming with Clojure - Ambrose Bonnaire-Sergeant

(37:34)

\

(47:41)

miniKanren Advanced Series #10

(1:8:56)

\

(49:53)

miniKanren Advanced Series #4

(2:11:40)

miniKanren Advanced Series #9

(2:33:26)

[miniKanren'23] miniKanren: Tutorial

(1:24:56)

miniKanren Advanced Series #2

(2:2:11)

miniKanren Advanced Series #5

(2:34:11)

Friday Hacks #199: Relational Programming in miniKanren, \u0026 Implementing a Kanren from the Ground Up

(2:23:32)

Dan Friedman \u0026 Jason Hemann - How to be a good host: miniKanren as a case study - Curry On

(37:34)