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