Leibniz - a Digital Scientific Notation
- Leibniz is not a programming language
- Leibniz is not a computer algebra system
Overview of Leibniz
- Terms
- Operators
- Sorts
- Rewriting
Context definitions

Arrays

Arrays are special terms (arrays). They use Integers.

The generic sort of arrays is Array.