# Concepts - Summary

- [Concepts Home](/l4/concepts.md)

## Language Design

- [Design Principles](/l4/concepts/language-design/principles.md)
- [Linguistic Syntax](/l4/concepts/language-design/linguistic-syntax.md)

## Legal Modeling

- [Regulative Rules](/l4/concepts/legal-modeling/regulative-rules.md)
- [Constitutive vs Regulative Rules](/l4/concepts/legal-modeling/constitutive-vs-regulative.md)
- [Default Reasoning and Exceptions](/l4/concepts/legal-modeling/default-reasoning.md)

## Type System

- [Algebraic Types](/l4/concepts/type-system/algebraic-types.md)
- [Exhaustiveness](/l4/concepts/type-system/exhaustiveness.md)