We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
YouTube recording
Timeline:
00:00 Welcome and motivation/structure of the uncourse.
25:00 Introduction to core miniKanren: == and equality.
25:00 1:01:56 Another notion of equality and == (nominal logic).
25:00 1:21:40 Recap of == and equality.
25:00 1:23:20 General discussion.
Coinductive logic progamming