Pacioli Manual

Manual for Pacioli v0.6.1

---

Types

• The Type System
• Type Variables
• Matrix Type
• Index Type
• Tuple Type
• Function Type
• User Defined Types
• Predefined Types