git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/IdrisDoc.hs
all commits
05a859dHTML path slashes are always '/'.Niklas Larsson 8b3b6e8Remove partiality from IdrisDocDavid Raymond Christiansen 7ba4da0Instance docs: instance parameter documentationAdam Sandberg Eriksson 83793a6Add the ability for IDEs to get documentation overviewsDavid Raymond Christiansen 13e8ad8Plumb source locations through Tactical's elabDavid Raymond Christiansen a0346b6Begin implementation of reflected elab monadDavid Raymond Christiansen 81d9b25Generate HTML output for module documentationDavid Raymond Christiansen e95c877Make pattern matching consistent in lambda/letEdwin Brady 00f1cd5Use ExceptT instead of ErrorTbmsherman 37292e1Save terms in docstringsDavid Raymond Christiansen 1269791Keep type arguments of = when unelaboratingEdwin Brady 67f7373Support builds that doesn't use cabal for libs and rtsniklas e91819cFinal cleanup/check of case tactic implementationAhmad Salim Al-Sibahi a0b05e2Allow induction on terms instead of simply namesAhmad Salim Al-Sibahi 094be98Add an optional depth to 'search' tacticEdwin Brady e23ebdaMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 719d472'search' now fails if there are metavariablesEdwin Brady a713659Merge current master into fix/911- branchPaul Koerbitz 89a975eImprove ideslave highlighting of primitivesDavid Raymond Christiansen 5e3c248Change impl argument to a pretty printing opt recordPeter Minten 6669a26Add superclass info to ClassDoc and output it in pprintDocs (:doc command)Paul Koerbitz bfe6499Give the pretty-printer access to info about infixesDavid Raymond Christiansen af3816eMerge branch 'master' into fix/1047-repl-doc-for-typeclassesPaul Koerbitz 71bdbbbProperly pretty-print typeclasses for REPL command ':doc'Paul Koerbitz cd92ae8Namespaces only containing private members is now correctly considered emptyPhilip Rasmussen 4aec152Added more HaddockPhilip Rasmussen 74539a5IdrisDoc now merges documentation more robustly using less code.Philip Rasmussen aed1014Fixed merge bugPhilip Rasmussen cfbb64fMerge branch 'idrisdoc' of github.com:PhilipRasmussen/Idris-dev into PhilipRasmussen-idrisdocDavid Raymond Christiansen 028301cRewrote signatures to annonate with full Conor colours, changed documentation structure to fix critical Internet Explorer problem, and changed the name of the builtins module, also for Internet ExplorerPhilip Rasmussen 95dac76Fixed display bug for existential typesPhilip Rasmussen 585ea9fFinished HTML generation of type headers and fixed a sorting bug for the index pagePhilip Rasmussen 3e651d3Only useful information is now fetched, and the index.html file is properly generated.Philip Rasmussen 0939fb5Progress: IdrisDoc is now able to generate output to the necessary files. Actual structured content is TODOPhilip Rasmussen 13d63e3Rewrote implementation so far to be much smarterPhilip Rasmussen 6b3bbe7NameTrie added to create map of names for easy lookupPhilip Rasmussen 77eca9cChanged IdrisDoc interface, updated command descriptions.Philip Rasmussen 155e306Fixed IdrisDoc errors and added REPL :help descriptionsPhilip Rasmussen 877c638IdrisDoc begunPhilip Rasmussen