Why not?
This is an attempt to implement microKanren on HVM
Implementation sometimes refers to https://github.com/jasonhemann/microKanren and https://gist.github.com/msullivan/4223fd47991acbe045ec
hvm r ukanren.hvm TEST_NUMBER PARAMWIP
bsless/microkanren-hvm
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|