Curated list of awesome lists
An auxiliary list of awesome Idris resources.
Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation. Its features are influenced by Haskell and ML.
Elaborator Reflection: Extending Idris in Idris - David Christiansen and Edwin Brady, 2016.
Cross-platform Compilers for Functional Languages - Edwin Brady, 2015.
Programming and Reasoning with Side-Effects in Idris - Edwin Brady, 2014.
Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation - Edwin Brady, 2013.
Programming and Reasoning with Algebraic Effects and Dependent Types - Edwin Brady, 2013.
Sequential decision problems, dependently typed solutions - Nicola Botta, Cezar Ionescu and Edwin Brady, 2013.
Programming in Idris: a tutorial - Edwin Brady, 2012.
Resource-safe Systems Programming with Embedded Domain Specific Languages – Edwin Brady and Kevin Hammond, 2012.
Idris — Systems Programming Meets Full Dependent Types - Edwin Brady, 2011.
Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation - Edwin Brady and Kevin Hammond, 2010.
Correct-by-Construction Concurrency: using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols - Edwin Brady and Kevin Hammond, 2010.
Domain Specific Languages (DSLs) for Network Protocols - Saleem Bhatti, Edwin Brady, Kevin Hammond and James McKinna, 2009.
Lightweight Invariants with Full Dependent Types - Edwin Brady, Christoph Herrmann and Kevin Hammond, 2008.