https://eb.host.cs.st-andrews.ac.uk/drafts/effects.pdf,Programming and Reasoning with Algebraic Effects and Dependent Types,https://github.com/joaomilho/awesome-idris#readme,Idris
http://eb.host.cs.st-andrews.ac.uk/writings/plmms13.pdf,Sequential decision problems, dependently typed solutions,https://github.com/joaomilho/awesome-idris#readme,Idris
http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf,Programming in Idris: a tutorial,https://github.com/joaomilho/awesome-idris#readme,Idris
https://eb.host.cs.st-andrews.ac.uk/writings/plpv11.pdf,Idris — Systems Programming Meets Full Dependent Types,https://github.com/joaomilho/awesome-idris#readme,Idris
http://eb.host.cs.st-andrews.ac.uk/writings/icfp10.pdf,Scrapping your Inefficient Engine: using Partial Evaluation to Improve Domain-Specific Language Implementation,https://github.com/joaomilho/awesome-idris#readme,Idris
http://groups.google.com/group/idris-lang,Mailing list,https://github.com/joaomilho/awesome-idris#readme,Idris
http://eb.host.cs.st-andrews.ac.uk/writings/fi-cbc.pdf,Correct-by-Construction Concurrency: using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols,https://github.com/joaomilho/awesome-idris#readme,Idris
http://eb.host.cs.st-andrews.ac.uk/drafts/ngna2009-dsl.pdf,Domain Specific Languages (DSLs) for Network Protocols,https://github.com/joaomilho/awesome-idris#readme,Idris
http://eb.host.cs.st-andrews.ac.uk/drafts/tfp08.pdf,Lightweight Invariants with Full Dependent Types,https://github.com/joaomilho/awesome-idris#readme,Idris
https://www.youtube.com/watch?v=vkIlW797JN8,Idris: General Purpose Programming with Dependent Types,https://github.com/joaomilho/awesome-idris#readme,Idris
https://deque.blog/2017/06/14/10-things-idris-improved-over-haskell/,10 things Idris improved over Haskell,https://github.com/joaomilho/awesome-idris#readme,Idris
https://crufter.com/idris-a-language-that-will-change-the-way-you-think-about-programming,Meet Idris, a language that will change the way you think about programming,https://github.com/joaomilho/awesome-idris#readme,Idris
http://kevinmahoney.co.uk/articles/tests-vs-types/,Tests vs. Types,https://github.com/joaomilho/awesome-idris#readme,Idris
https://www.manning.com/books/type-driven-development-with-idris,Type Driven Development With Idris,https://github.com/joaomilho/awesome-idris#readme,Idris
https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf,Software Foundations,https://github.com/joaomilho/awesome-idris#readme,Idris
https://leanpub.com/gidti,Gentle Introduction to Dependent Types with Idris,https://github.com/joaomilho/awesome-idris#readme,Idris
https://eb.host.cs.st-andrews.ac.uk/drafts/elab-reflection.pdf,Elaborator Reflection: Extending Idris in Idris,https://github.com/joaomilho/awesome-idris#readme,Idris
https://eb.host.cs.st-andrews.ac.uk/drafts/compile-idris.pdf,Cross-platform Compilers for Functional Languages,https://github.com/joaomilho/awesome-idris#readme,Idris
https://eb.host.cs.st-andrews.ac.uk/drafts/eff-tutorial.pdf,Programming and Reasoning with Side-Effects in Idris,https://github.com/joaomilho/awesome-idris#readme,Idris
https://pdfs.semanticscholar.org/1407/220ca09070233dca256433430d29e5321dc2.pdf,Idris, a General Purpose Dependently Typed Programming Language: Design and Implementation,https://github.com/joaomilho/awesome-idris#readme,Idris