From a5cfc9d30976f882274761fba020285a591376eb Mon Sep 17 00:00:00 2001 From: Louis Date: Wed, 27 Sep 2023 11:25:56 +0200 Subject: [PATCH] vault backup: 2023-09-27 11:25:56 --- Algo/CM/CM du 27 septembre.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Algo/CM/CM du 27 septembre.md b/Algo/CM/CM du 27 septembre.md index 3486ad5..e3f873e 100644 --- a/Algo/CM/CM du 27 septembre.md +++ b/Algo/CM/CM du 27 septembre.md @@ -14,3 +14,9 @@ - A234 ## Abstract Algebraic Data Types +### Signature and hierarchy +- a signature is composed by + - a type (integer, stack, queue, graph) + - an operations (name: profile) + - Exemple: ``insert: list x integer x element -> list`` + - \ No newline at end of file