From b6834e2c297340e513d24c326dadcc75d24fc684 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Wed, 11 Oct 2023 11:58:17 +0200
Subject: [PATCH] vault backup: 2023-10-11 11:58:17

---
 Algo/CM/Lists.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Algo/CM/Lists.md b/Algo/CM/Lists.md
index 2bfebcf..88e6e1f 100644
--- a/Algo/CM/Lists.md
+++ b/Algo/CM/Lists.md
@@ -36,3 +36,9 @@ WITH
    list l
    element e
 ```
+`cons` add en element to the head of the list (eg. li <- cons(cloud, li))
+`head`return the element in the head of the list (eg. pl <- head(li))
+`contents`return what is the element of the head
+`first`return the first element of the list (is equivalent to contents)
+`tail`remove the first element of the list (eg. fl <- tail (li))
+`next`return the element after a box (eg. pspt <= next(head(li))))