kc3-lang/kc3

diff --git a/README.md b/README.md
index 1513e16..a7bd184 100644
--- a/README.md
+++ b/README.md
@@ -289,7 +289,10 @@ Script interpreter. Works the same as ic3 but is not interactive.
 ## TODO
 
  - libc3
-   - height function `(TAG_VOID: 0, TAG_TUPLE: max(height(tuple->tags)))`
+   - tags
+     - height function `(TAG_VOID: 0, TAG_TUPLE: max(height(tuple->tags)))`
+     - has_ident
+     - collect_idents
    - macros
    - modules
      - defmodule