Glossary

The vocabulary KUMI uses, and the type theory it rests on.

• Type Theoretic Foundations
• The Identity Elements (The "0" and "1" of Types)
• Product Types
• References
• C++ Specific Terms
• Nomenclature