# Dependent Types

## Topics

* [Agda](https://wiki.dewaka.com/programming/functional-programming/dependent-types/agda)
* [Idris](https://wiki.dewaka.com/programming/functional-programming/dependent-types/idris)