git.iko.soy/Idris-dev
on cd8a233 help sign in
history ofsrc/Idris/Output.hs
all commits
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