Pacioli Manual

Manual for Pacioli v0.6.1

---

Contents

• Programs
  • Program structure
  • Namespaces
  • Imports and includes
• Definitions and Declarations
  • Value Definition
  • Type Declaration
  • Index Set Definition
  • Base Unit Definition
  • Unit Alias Definition
  • Type Definition
  • Matrix Definition
  • Conversion Definition
  • Record Definition
• Units of Measurement
  • Scalar Units
  • Units in Types
  • Units at Runtime
  • Predefined Units
• Types
  • The Type System
  • Type Variables
  • Matrix Type
  • Index Type
  • Tuple Type
  • Function Type
  • User Defined Types
  • Predefined Types
• Expressions
  • Unit notation
  • Functions and Applications
  • Operators
  • Tuples
  • Lists and Comprehensions
  • Conditional (if then else)
  • Binding (let in)
  • Imperative Blocks (begin end)
• Web Components
  • Introduction
  • pacioli-value
  • pacioli-matrix
  • pacioli-table
  • pacioli-bar-chart
  • pacioli-pie-chart
  • pacioli-histogram
  • pacioli-line-chart
  • pacioli-scatter-plot
  • pacioli-scene
  • pacioli-inputs
  • pacioli-controls