git.iko.soy/Idris-dev
on ef51a46 help sign in
history oftest/proof011/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 09263c1Don't query width when not a ttyNiklas Larsson be093dcAdded more context to the no rewriting error, to include terms being rewritten withAhmad Salim Al-Sibahi ab385cdGenerate rewriting lemmas for data typesEdwin Brady b92f7acNew implementation of rewriteEdwin Brady