git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/Idris/Output.hs
all commits
16ff91fAdd syntax for example code to docsDavid Raymond Christiansen 37292e1Save terms in docstringsDavid Raymond Christiansen 7289f34Properly highlight constants in :pprintDavid Raymond Christiansen b7010b2New command :pprint for outputting paper/slide bitsDavid Raymond Christiansen 497caf0Make output from :t name annotate with termsDavid Raymond Christiansen a37fc8aAdding a prettyprinted message for undefining namesAlyssa Carter 480024cRemove all the handle argumentsDavid Raymond Christiansen 1add7b7provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason to have multiple clients at all!)Hannes Mehnert 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