miniKanren Intro Series #1

(2:6:26)

[miniKanren'23] miniKanren: Tutorial

(1:24:56)

miniKanren - Dan Friedman and William Byrd

(46:17)

miniKanren 2021 - Universal Quantification and Implication in miniKanren

(21:19)

miniKanren Intro Series #3, Part 1

(1:40:)

miniKanren 2021 - Guarded Fresh Goals: Dependency-Directed Introduction of Fresh Logic Variables

(17:27)

miniKanren Intro Series #4

(2:25:15)

miniKanren Philosophy - William Byrd \u0026 Daniel Friedman

(39:58)

Is it worth learning Manim?

(8:6)

mlre – an introduction

(8:18)

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

(57:1econd)

The Algorithm for Precision Medicine

(58:3)

Python Sudoku Solver - Computerphile

(10:53)

William Byrd on \

(1:31:6)

Frank Pfenning (2012) - Linear Logic Lecture 01

(1:31:54)

Stanford Lecture: Donald Knuth - \

(1:23:48)

(seventh RacketCon): Keynote -- Dan Friedman \u0026 Will Byrd -- The Reasoned Racketeers

(1:5:28)

Introduction to Logic Programming with Clojure - Ambrose Bonnaire-Sergeant

(37:34)

miniKanren Intro Series #9

(1:49:50)

miniKanren Intro Series #7

(3:10)

miniKanren Intro Series #8

(2:4:10)

miniKanren Intro Series #2

(2:27:10)

miniKanren Intro Series #6

(2:4:36)

miniKanren Intro Series #5

(2:47:6)

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

(43:50)

μKanren: Running the Little Things Backwards - Bodil Stokke

(39:55)

[miniKanren'22] A Tutorial Reconstruction of miniKanren with constraints

(25:38)