README.md in mini_kraken-0.3.01 vs README.md in mini_kraken-0.3.02
- old
+ new
@@ -12,28 +12,28 @@
### Features
- Pure Ruby implementation, not a port from another language
- Object-Oriented design
- No runtime dependencies
-- Test suite patterned on the examples from the reference book.
+- Test suite patterned on examples from the reference book.
### miniKanren Features
-- [X] ==
+- [X] ( == ) unify
- [X] run\*
- [X] fresh
- [X] conde
- [X] conj2
- [X] disj2
- [X] defrel
- [X] caro
- [X] cdro
+- [X] conso
### TODO
- [ ] Occurs check
-List-centric relations from Chapter 2
-- [ ] conso
+Pair-centric relations from Chapter 2
- [ ] nullo
- [ ] pairo
- [ ] singletono
## Installation