Skip to content

Latest commit

 

History

History
6 lines (4 loc) · 267 Bytes

README.org

File metadata and controls

6 lines (4 loc) · 267 Bytes
Raw

µKanren

Implementation of µKanren (microKanren) as presented in this paper by Hemann and Friedman.

See playground.rkt for a small demo of how to use it.