Martin Trojer's core.logic blogs
fixed typo
Merge branch 'master' of https://github.com/martintrojer/miniKanren_org-website
pull request from Martin Trojer