# Summary

[The Puck Programming Language](../README.md)

- [Basic Usage](OVERVIEW.md)
  - [Variables and Comments]()
  - [Basic Types]()
  - [Functions and Calls]()
  - [Boolean and Integer Operations]()
  - [Conditionals and Control Flow]()
  - [Error Handling]()
  - [Loops and Iterators]()
  - [Modules]()
  - [Compile-time Programming]()
  - [Async and Threading]()
  - [Advanced Types]()
- [Syntax](SYNTAX.md)
  - [Indentation Rules]()
  - [Reserved Keywords]()
  - [A Formal Grammar]()
- [Type System](TYPES.md)
  - [Basic Types]()
  - [Parameter Types]()
  - [Reference Types]()
  - [Abstract Types]()
  - [Advanced Types]()
- [Module System [todo]](MODULES.md)
  - [Implicit Modules]()
  - [Namespacing]()
  - [Interfaces, Again]()
- [Error Handling](ERRORS.md)
- [Async System](ASYNC.md)
  - [Threading]()
- [Metaprogramming](METAPROGRAMMING.md)
- [Memory Management [todo]](MEMORY_MANAGEMENT.md)
  - [Reference Counting Optimizations]()
  - [Annotations and Ownership]()
- [Language Interop [draft]](INTEROP.md)
  - [Rust, Swift, Nim]()
  - [Java, Kotlin]()
  - [Python, Racket, C]()
- [Refinement Types [draft]](REFINEMENTS.md)
- [Dependent Types [draft]](DEPENDENT_TYPES.md)
- [Effects System [draft]](EFFECTS.md)