https://github.com/bsless/microkanren-hvm
microKanren on HVM
https://github.com/bsless/microkanren-hvm
Last synced: 4 months ago
JSON representation
microKanren on HVM
- Host: GitHub
- URL: https://github.com/bsless/microkanren-hvm
- Owner: bsless
- Created: 2022-02-02T19:57:21.000Z (over 4 years ago)
- Default Branch: master
- Last Pushed: 2022-02-07T12:19:47.000Z (over 4 years ago)
- Last Synced: 2025-08-31T22:59:28.015Z (9 months ago)
- Size: 1.95 KB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.org
Awesome Lists containing this project
README
#+TITLE: microKanren HVM
Why not?
This is an attempt to implement [[http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf][microKanren]] on [[https://github.com/Kindelia/HVM][HVM]]
Implementation sometimes refers to https://github.com/jasonhemann/microKanren and https://gist.github.com/msullivan/4223fd47991acbe045ec
* Running tests
#+begin_src bash
hvm r ukanren.hvm TEST_NUMBER PARAM
#+end_src
WIP