Idris Programming Language

[Idris] Some questions
By Dirk Ullrich - Mar 8 - 2 authors - 2 replies

[Idris] Partial import of modules?
By Dirk Ullrich - Feb 29 - 3 authors - 3 replies

[Idris] A question about tactics
By Anthony de Almeida Lopes - Feb 28 - 4 authors - 4 replies

[Idris] Idris build error
By Andrea Vezzosi - Feb 28 - 6 authors - 8 replies

[Idris] A few questions about syntax
By Alex Rozenshteyn - Feb 28 - 3 authors - 3 replies

New release: Idris 0.9.2 on hackage
By Edwin Brady - Feb 27 - 1 author - 0 replies

Behaviour of Idris' pretty-printing in the REPL
By Dominic Mulligan - Feb 23 - 2 authors - 2 replies

[Idris] Re: Debugging a universe inconsistency
By Edwin Brady - Feb 22 - 2 authors - 3 replies

[Idris] Trying to understand type check failure
By Edwin Brady - Feb 19 - 3 authors - 8 replies

No such variable {n1}?
By Dominic Mulligan - Feb 17 - 3 authors - 3 replies