search

CompSciCabal / SMRTYPRTY

We read computer science books for fun. This is where the secret notes live.
The Unlicense
77 stars 11 forks source link

μKanren #10

Closed dxnn closed 7 years ago

dxnn commented 7 years ago

(Or some other kanren paper...)

dxnn commented 7 years ago

Hemann and Friedman, μKanren http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf