Defining variables
(define u (var u))
2020-10-20
Backlinks
MiniKanren
Defining variables
stub