> For the complete documentation index, see [llms.txt](https://wiki.dewaka.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://wiki.dewaka.com/programming.md).

# Programming

* [Functional programming](/programming/functional-programming.md)
  * [Functional data structures](/programming/functional-programming/data-structures.md)
  * [Algebraic Effects](/programming/functional-programming/algebraic-effects.md)
  * [Dependent Types](/programming/functional-programming/dependent-types.md)
    * [Agda](/programming/functional-programming/dependent-types/agda.md)
    * [Idris](/programming/functional-programming/dependent-types/idris.md)
  * [Continuations](/programming/functional-programming/continuations.md)
* [Concurrent Programming](/programming/concurrency.md)
  * [Mutex](/programming/concurrency/mutex.md)
  * [Semaphores](/programming/concurrency/semaphores.md)
* [Parallel Programming](/programming/parallelism.md)
* [Unicode](/programming/unicode.md)