README.md in mini_kraken-0.2.02 vs README.md in mini_kraken-0.2.03

- old
+ new

@@ -21,17 +21,17 @@ - [X] run\* - [X] fresh - [X] conde - [X] conj2 - [X] disj2 -- [X] defrel +- [X] defrel +- [X] caro ### TODO - [ ] Occurs check -List-centric relations from Chapter 2 -- [ ] caro +List-centric relations from Chapter 2 - [ ] cdro - [ ] conso - [ ] nullo - [ ] pairo - [ ] singletono