chore: update readme

algebraic-dev · web-flow · commit 642042bee922 · 2024-10-21T10:51:26.000-03:00
diff --git a/README.md b/README.md
@@ -90,3 +90,5 @@ def main : IO Unit :=
 ## Acknowledgements
 
 This library is based on work @algebraic-sofia has done for her
+
+It will be probably moved to the Lean STD.
