Alba
Contents:
1. Introduction
2. Certified Programming
3. Language Elements
4. Builtins
4.1. Module: alba.core.general
4.2. Module: alba.core.logic
4.3. Module: alba.core.natural
4.4. Module: alba.core.integer
4.5. Module: alba.core.nat
4.6. Module: alba.core.list
4.7. Basic Types
5. Intermediate Representation
6. Compilation
7. Platforms
8. Backends
9. Draft
10. Bibliography
Alba
4.
Builtins
4.6.
Module: alba.core.list
View page source
4.6.
Module: alba.core.list
class
List
(
A
:
Any
)
:
Any
:=
[]
:
List
(
::
)
:
A
-
>
List
-
>
List