@article{BRADY_2013,
    doi = {10.1017/s095679681300018x},
    url = {https://doi.org/10.1017%2Fs095679681300018x},
    year = {2013},
    month = {sep},
    publisher = {Cambridge University Press ({CUP})},
    volume = {23},
    number = {5},
    pages = {552--593},
    author = {EDWIN BRADY},
    title = {Idris, a general-purpose dependently typed programming language: Design and implementation},
    journal = {Journal of Functional Programming}
}

@article{BRADY_2013, doi = {10.1017/s095679681300018x}, url = {https://doi.org/10.1017%2Fs095679681300018x}, year = {2013}, month = {sep}, publisher = {Cambridge University Press ({CUP})}, volume = {23}, number = {5}, pages = {552--593}, author = {EDWIN BRADY}, title = {Idris, a general-purpose dependently typed programming language: Design and implementation}, journal = {Journal of Functional Programming} }