git.iko.soy/Idris-dev
on 028301c help sign in
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 2484c56Updated signatures to use Conor colours, increased difference between links and non-links, and fixed a wrap issue in Safari and ChromePhilip Rasmussen 95dac76Fixed display bug for existential typesPhilip Rasmussen 585ea9fFinished HTML generation of type headers and fixed a sorting bug for the index pagePhilip Rasmussen b538db9Fixed minor styling bugPhilip Rasmussen f192d93Added comments on PTermPhilip Rasmussen 3e651d3Only useful information is now fetched, and the index.html file is properly generated.Philip Rasmussen 2482044Merge remote-tracking branch 'upstream/master' into idrisdocPhilip Rasmussen b283c0dFix some reachability warnings with EffEdwin Brady dd44389Merged with masterPhilip Rasmussen 16f7da4Increment IBC (due to clash with earlier commit)Edwin Brady 6c3d33cFix totality of rebuildEnvEdwin Brady 8cd3ea5Support "Main.main" in other namespaces.Matus Tejiscak 3048f4cAdd more lookupCtxtExact's.Matus Tejiscak ff06b31More exact lookup in erasure.Matus Tejiscak 171e45bExact name lookups in getArity.Matus Tejiscak 7c9b73bSupport certain ProjCase's in usage analysis.Matus Tejiscak 08ddbaaReformulate decEq for Vect.Matus Tejiscak 4bc8589Improve --dumpcases.Matus Tejiscak 0d1d746Use dots to join pretty-printed LCases.Matus Tejiscak b44cf97Reformat prune.Matus Tejiscak 183169cImprove reporting of reachable postulates.Matus Tejiscak dd502ecRemove debug printouts.Matus Tejiscak a88053bAdd idris_postulates to IBC.Matus Tejiscak ba81129Even prettier printing of LExps.Matus Tejiscak 5a8e4f4Improve indentation of LExp.Matus Tejiscak 5f93139Move forcing to Compiler.hs.Matus Tejiscak 0203531Fix case-inspection of lazy values.Matus Tejiscak 128d070Remove some dead code.Matus Tejiscak eedf489Remove collapsibility and forceability altogether.Matus Tejiscak 5c0c63aImprove comments.Matus Tejiscak 4957a33Make --nowarnreach the default (for now).Matus Tejiscak 779ecf2Fix laziness in Compiler.hs.Matus Tejiscak 64353d2Don't prune improjectible case-trees.Matus Tejiscak 7ada264Fix case-tree projection transformation.Matus Tejiscak 30ba576Fix a mismerge.Matus Tejiscak 014f993Add --nowarnreach to two tests.Matus Tejiscak 843238dFix usage in reg025.Matus Tejiscak adc7d08Fix usage for __MkPair.Matus Tejiscak 644f093Require postulate unreachability instead of collapsibility.Matus Tejiscak 2604c1dFix compilation of applied de bruijn vars.Matus Tejiscak dd09721Include local variables in instance ctor applications.Matus Tejiscak 4e1d50eUse method info to erase stuff in Compiler.hs.Matus Tejiscak cee5985Recognise instance constructors in Compiler.hs.Matus Tejiscak 5bdfe51Comment clarification.Matus Tejiscak ca257e0Remove commented-out dead code.Matus Tejiscak 67b01ecRefactor Compiler.hs.Matus Tejiscak 993b57bFix instance ctor application analysis.Matus Tejiscak 37b3f6cAdd instance ctor application analysis.Matus Tejiscak 50c4fe2Revert to using metamethods.Matus Tejiscak