git.iko.soy/Idris-dev
on ccda94e help sign in
history ofsrc/Idris/Output.hs
all commits
7d95becMake type search work in the proverDavid Raymond Christiansen e336883Highlight prover output for ideslaveDavid Raymond Christiansen c4eca4fMerge branch 'master' into parenthasizeInfixbmsherman 7d38943Proper and complete parenthasization of infix operator names.bmsherman c4ce749Parenthasize infix names in REPL outputbmsherman 21124c3Merge remote-tracking branch 'upstream/master' into cantResolveAltsbmsherman 282abc8Enable pretty printing of CantResolveAlts errors.bmsherman 9c3fefeImprove appearance of type search results.bmsherman 7143962Make totality a warning until compilingDavid Raymond Christiansen 0663f4dMerge pull request #1183 from pminten/ppoptEdwin Brady 9491c3cAdd ppOptionIst function.Peter Minten 5e3c248Change impl argument to a pretty printing opt recordPeter Minten f9e8ec2Make ihWarn work properly with emptyFC on command lineDavid Raymond Christiansen 7273f3bFix line breaks in display of :t at REPLDavid Raymond Christiansen bfe6499Give the pretty-printer access to info about infixesDavid Raymond Christiansen f0a5442Provide IDESlave output with docs and typeDavid Raymond Christiansen