Commit bd40ce2b43534719ed570190f48d0f5cbbd752ae

Thomas de Grivel 2023-08-26T11:29:43

mention libtommath and linenoise

diff --git a/README.md b/README.md
index 0ff982b..5d49a2a 100644
--- a/README.md
+++ b/README.md
@@ -62,6 +62,9 @@ of the language.
 The library includes a parser and an interpreter for C3 code in C
 structures.
 
+Support for large integers provided by
+[libtommath](https://github.com/libtom/libtommath).
+
 #### Parser
 
 The parser is recursive descent.
@@ -78,7 +81,8 @@ Under development.
 
 ### ic3
 
-Interactive shell.
+Interactive shell. Terminal I/O provided by
+[linenoise](https://github.com/antirez/linenoise/tree/1.0).
 
 
 ### c3s