CODIGO
log in

Alma-0

Paradigms

logic, imperative, constraint

Typing

static system, strong typing

External Links

Type programming
Created 1997
Developed by Centrum Wiskunde & Informatica
PyPL Index N/A
TIOBE Index N/A
GitHub rank N/A