Context definitions
This book contains various Leibniz contexts, both as examples for studying and as foundations to build on.
A few contexts rely on support from the Leibniz run-time system, in particular for implementing data types such as numbers, character strings, and arrays. But most of these contexts are plain Leibniz code. Leibniz authors are encouraged to use them for inspiration rather than as an official standard library to re-use as-is. Readability for humans is the top priority for Leibniz, and that implies that superfluous code should be avoided. Fine-tune all definitions to the requirements of your own work!
Foundations
Sorts
Logic
Numbers
Functions
Textual data
Aggregate data structures
One-dimensional array indexation, One-dimensional array slicing, Function application to one-dimensional arrays, Reduction over one-dimensional arrays, One-dimensional index arrays, Algorithmic construction of one-dimensional arrays, Element selection from one-dimensional arrays, Function-based selection from one-dimensional arrays
Syntax
Mathematics
Functions
Specific functions
Differential equations
Simulation support
Tools
Tool interfacing
Tools