Commit 97763e59e919143b6f4bd7aa2560a02a8afcad75

Thomas de Grivel 2023-05-25T17:38:22

negative facts

1
2
3
4
5
6
7
8
9
10
11
12
diff --git a/README.md b/README.md
index bbd0154..f258f1b 100644
--- a/README.md
+++ b/README.md
@@ -53,6 +53,7 @@ Script interpreter.
    - lists
    - defmodule
    - structs
+   - negative facts : 4 + 2n = not 3 + 2n
    - errors (setjmp, longjmp)
      - stacktrace
        - ffi ?