Cita APA (7a ed.)
Brady, E. (2017). Type-Driven Development with Idris. Manning.
Cita Chicago Style (17a ed.)
Brady, Edwin. Type-Driven Development with Idris. New York: Manning, 2017.
Cita MLA (9a ed.)
Brady, Edwin. Type-Driven Development with Idris. Manning, 2017.
Precaución: Estas citas no son 100% exactas.