From 945c630ec18e282bd0db731fb3f0b521e99de059 Mon Sep 17 00:00:00 2001
From: Raito Bezarius
Date: Wed, 17 Apr 2024 15:08:07 +0200
Subject: feat: add functional correctness of elements contained in the
 resulting tree

We revamp the typeclass mechanisms and we add an equality hypothesis
now.

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
---
 notes.md | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'notes.md')

diff --git a/notes.md b/notes.md
index 53b3256..942e1ca 100644
--- a/notes.md
+++ b/notes.md
@@ -123,3 +123,8 @@ Source: 'src/main.rs', lines 132:4-158:5
 [Error] There should be no bottoms in the value
 Source: 'src/main.rs', lines 175:52-181:9
 ```
+
+## Réunion
+
+- Prédicat avec `setOf`: OK.
+- `ForallNode` négatif pour exclure l'appartenance d'un élément à l'arbre
-- 
cgit v1.2.3