vault backup: 2023-09-27 11:25:56
This commit is contained in:
@ -14,3 +14,9 @@
|
|||||||
- A234
|
- A234
|
||||||
|
|
||||||
## Abstract Algebraic Data Types
|
## 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``
|
||||||
|
-
|
Reference in New Issue
Block a user