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