~ashton314/microKanren

04f9143f833add8c741239f24f33e7a0a41861ca — Ashton Wiersdorf 3 months ago 0fd44c5
Update README
1 files changed, 5 insertions(+), 0 deletions(-)

M README.org
M README.org => README.org +5 -0
@@ 1,6 1,11 @@
#+title: Notes on μKanren
#+author: Ashton Wiersdorf
#+date: 2022-05-21
#+options: toc:t

Mirrored at [[https://github.com/ashton314/muKanren_reading][ashton314 on GitHub]]

Main repository at [[https://git.sr.ht/~ashton314/microKanren][~ashton314 on SourceHut]]

* Synopsis