git.iko.soy/Idris-dev
on d3badf2 help sign in
history oftest/sourceLocation001/expected
all commits
f743272Don't include '=' for RHS spanJason Felice 79351eeAdd blank line after "large" messagesJason Felice 7d0c06bPut source code before error (like parse errors)Jason Felice f967817Make warnings, non-parse errors prettyJason Felice b1a4264Improve error message locations (#4210)Jason Felice 58c3bb7Hide more features behind %language pragmasEdwin Brady 752a2fcUpdate tests for proof deprecationDavid Raymond Christiansen 95d90f4Better highlighting for data declarationsDavid Raymond Christiansen 3b5790cNamed lambda,let,pi in dsl blockChetan Taralekar 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady f1e161dA new primitive tactic for getting source locationsDavid Raymond Christiansen