# Programming

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