Programming in Idris: a tutorialhttp://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf by bjz_ • 13 years ago 1 1 13 years agoEBeb.host.cs.st-andrews.ac.uk