# Citing `Idris`

If you use `Idris` in your work we would prefer it if you would use the following reference in your work.

## BibTeX

```bibtex
@article{JFP:9060502,
  author = {BRADY,EDWIN},
  title = {Idris, a general-purpose dependently typed programming language: Design and implementation},
  journal = {Journal of Functional Programming},
  volume = {23},
  issue = {05},
  month = {9},
  year = {2013},
  issn = {1469-7653},
  pages = {552--593},
  numpages = {42},
  doi = {10.1017/S095679681300018X},
  URL = {https://journals.cambridge.org/article_S095679681300018X},
}
```

## Textual

    EDWIN BRADY (2013). Idris, a general-purpose dependently typed
    programming language: Design and implementation. Journal of
    Functional Programming, 23, pp
    552-593. doi:10.1017/S095679681300018X.