git.iko.soy/Idris-dev
on bba09bd help sign in
history ofsrc/Idris/Docs.hs
all commits
0e76ac9Remember whether implicits are machine generatedEdwin Brady a807a34Remove the unused arg from lookup functionsDavid Christiansen 28ba8debetter lookup for operatorsraichoo 39e0fbaadded fixity of operators to :doc outputraichoo f9a1dabFix pattern variable problem when patterns generated by unificationEdwin Brady 2b7db6aFix 'where' lifting bug Make sure functions have unique names when liftedEdwin Brady 0b3b0b5Display useful information on :doc (It's ugly though...)Edwin Brady