# Reference - Summary

- [Reference Home](/l4/reference.md)
- [Language Glossary](/l4/reference/GLOSSARY.md)
- [Cross-Language Cheat Sheet](/l4/reference/cheat-sheet.md)
- [Troubleshooting Errors](/l4/reference/errors.md)

## Language Basics

- [Types](/l4/reference/types.md)
  - [A / AN](/l4/reference/types/A-AN.md)
  - [ASSUME](/l4/reference/types/ASSUME.md)
  - [DECLARE](/l4/reference/types/DECLARE.md)
  - [Type Keywords](/l4/reference/types/keywords.md)
  - [FOR ALL (Polymorphism)](/l4/reference/types/for-all.md)
  - [Coercions](/l4/reference/types/coercions.md)
  - [Type Theory](/l4/reference/types/type-theory.md)
- [Functions](/l4/reference/functions.md)
  - [AKA](/l4/reference/functions/AKA.md)
  - [DECIDE](/l4/reference/functions/DECIDE.md)
  - [GIVEN](/l4/reference/functions/GIVEN.md)
  - [GIVETH](/l4/reference/functions/GIVETH.md)
  - [LET](/l4/reference/functions/LET.md)
  - [MEANS](/l4/reference/functions/MEANS.md)
  - [WHERE](/l4/reference/functions/WHERE.md)
  - [YIELD](/l4/reference/functions/YIELD.md)

## Language Details

- [Control-Flow](/l4/reference/control-flow.md)
  - [IF](/l4/reference/control-flow/IF.md)
  - [CONSIDER](/l4/reference/control-flow/CONSIDER.md)
- [Operators](/l4/reference/operators.md)
  - [AND](/l4/reference/operators/AND.md)
  - [OR](/l4/reference/operators/OR.md)
  - [NOT](/l4/reference/operators/NOT.md)
  - [IMPLIES](/l4/reference/operators/IMPLIES.md)
  - [UNLESS](/l4/reference/operators/UNLESS.md)
  - [Arithmetic](/l4/reference/operators/arithmetic.md)
  - [Comparisons](/l4/reference/operators/comparisons.md)
- [Syntax](/l4/reference/syntax.md)
- [Regulative](/l4/reference/regulative.md)
  - [PARTY](/l4/reference/regulative/PARTY.md)
  - [MUST](/l4/reference/regulative/MUST.md)
  - [MAY](/l4/reference/regulative/MAY.md)
  - [SHANT](/l4/reference/regulative/SHANT.md)
  - [BECAUSE](/l4/reference/regulative/BECAUSE.md)
  - [DEONTIC](/l4/reference/regulative/DEONTIC.md)
  - [EVENT](/l4/reference/regulative/EVENT.md)
- [Built-ins](/l4/reference/builtins.md)
  - [HTTP and JSON](/l4/reference/builtins/http-json.md)
- [Patterns](/l4/reference/patterns.md)
  - [Common Patterns](/l4/reference/patterns/common-patterns.md)

## Libraries

- [Libraries Overview](/l4/reference/libraries.md)
  - [IMPORT](/l4/reference/libraries/IMPORT.md)
  - [prelude](/l4/reference/libraries/prelude.md)
  - [daydate](/l4/reference/libraries/daydate.md)
  - [time](/l4/reference/libraries/time.md)
  - [datetime](/l4/reference/libraries/datetime.md)
  - [timezone](/l4/reference/libraries/timezone.md)
  - [math](/l4/reference/libraries/math.md)
  - [currency](/l4/reference/libraries/currency.md)
  - [legal-persons](/l4/reference/libraries/legal-persons.md)
  - [jurisdiction](/l4/reference/libraries/jurisdiction.md)
  - [holdings](/l4/reference/libraries/holdings.md)
  - [excel-date](/l4/reference/libraries/excel-date.md)
  - [date-compat](/l4/reference/libraries/date-compat.md)
  - [actus](/l4/reference/libraries/actus.md)
  - [llm](/l4/reference/libraries/llm.md)