9e75132More operations on listsJohn Dobronszki13 years ago 295409bUncomment truncate.Greg Pfeil13 years ago 0661ec0Add scanl for Vect.Greg Pfeil13 years ago 3e651d3Only useful information is now fetched, and the index.html file is properly generated.Philip Rasmussen13 years ago 9760a72Further simplification of expression parsing for better error handling such as lists and constant literals.Ahmad Salim Al-Sibahi13 years ago 6c835daAdd a bunch of docstrings to Prelude.StringsPeter Minten13 years ago 476fb25Workaround Travis skip of last commit.Ahmad Salim Al-Sibahi13 years ago 3f40461javascript: make folding002 passraichoo13 years ago a461b62javascript: make bounded001 passraichoo13 years ago b3bf583javascript: initial Bits16 supportraichoo13 years ago 64f7716javascript: initial Bits8 supportraichoo13 years ago be534deAdd Foldable for SortedSetBrian McKenna13 years ago 2482044Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 5159ad4Remove ":m" as a shortcut for ":module" in help as it is used for ":metavars". Remove argument for ":metavars" as it doesn't take any.Ahmad Salim Al-Sibahi13 years ago b283c0dFix some reachability warnings with EffEdwin Brady13 years ago 91043ccRemove Ord constraints from SortedMap toListBrian McKenna13 years ago dd44389Merged with masterPhilip Rasmussen13 years ago f21ab67Comment on grammar fix [ci skip]Ahmad Salim Al-Sibahi13 years ago 16f7da4Increment IBC (due to clash with earlier commit)Edwin Brady13 years ago 6c3d33cFix totality of rebuildEnvEdwin Brady13 years ago 4940097Improves parsing of function application expressionsAhmad Salim Al-Sibahi13 years ago 08fbb4eSimplified some lookaheads and grammar rules for lambda expressions and other internal expressions.Ahmad Salim Al-Sibahi13 years ago 8cd3ea5Support "Main.main" in other namespaces.Matus Tejiscak13 years ago 3048f4cAdd more lookupCtxtExact's.Matus Tejiscak13 years ago ff06b31More exact lookup in erasure.Matus Tejiscak13 years ago 171e45bExact name lookups in getArity.Matus Tejiscak13 years ago 7c9b73bSupport certain ProjCase's in usage analysis.Matus Tejiscak13 years ago 08ddbaaReformulate decEq for Vect.Matus Tejiscak13 years ago 4bc8589Improve --dumpcases.Matus Tejiscak13 years ago 0d1d746Use dots to join pretty-printed LCases.Matus Tejiscak13 years ago b44cf97Reformat prune.Matus Tejiscak13 years ago 183169cImprove reporting of reachable postulates.Matus Tejiscak13 years ago dd502ecRemove debug printouts.Matus Tejiscak13 years ago a88053bAdd idris_postulates to IBC.Matus Tejiscak13 years ago ba81129Even prettier printing of LExps.Matus Tejiscak13 years ago 5a8e4f4Improve indentation of LExp.Matus Tejiscak13 years ago 5f93139Move forcing to Compiler.hs.Matus Tejiscak13 years ago d34b7fcMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 20e0bf4Merged with masterPhilip Rasmussen13 years ago 0939fb5Progress: IdrisDoc is now able to generate output to the necessary files. Actual structured content is TODOPhilip Rasmussen13 years ago 5401872Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 7762a35Package paths may now be in other locations than current directoryPhilip Rasmussen13 years ago 13d63e3Rewrote implementation so far to be much smarterPhilip Rasmussen13 years ago 6b3bbe7NameTrie added to create map of names for easy lookupPhilip Rasmussen13 years ago 39ac157Added IdrisDoc hooks from the command line.Philip Rasmussen13 years ago d4abcb8Added IdrisDoc hooks from the command line.Philip Rasmussen13 years ago e21b167Tiny tidying upPhilip Rasmussen13 years ago 9b1746cMerge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen13 years ago 77eca9cChanged IdrisDoc interface, updated command descriptions.Philip Rasmussen13 years ago 155e306Fixed IdrisDoc errors and added REPL :help descriptionsPhilip Rasmussen13 years ago