aed33b8Merge pull request #4719 from klangner/masterJan de Muijnck-Hughes7 years ago cc30a89Added examples to the Vect docklangner7 years ago ef51a46Merge pull request #4705 from nickdrozd/reverse-proofsNiklas Larsson7 years ago 2418112Merge pull request #4709 from jfdm/new-stackJan de Muijnck-Hughes7 years ago 4efeda8Merge pull request #4708 from jfdm/show-visibility-in-docsJan de Muijnck-Hughes7 years ago dbf060cUpdated changelog and add GitHub issue reference: Fixes #4702Jan de Muijnck-Hughes7 years ago f25bcfeAdd an alternative stack configuration file to deal with upstream GHC issues.Jan de Muijnck-Hughes7 years ago e09ab81Bump stack to latest version.Jan de Muijnck-Hughes7 years ago 8fe28aaAmended the test suite to report updated documentation.Jan de Muijnck-Hughes7 years ago 36bcf4bShow visibility in doc comments.Jan de Muijnck-Hughes7 years ago 3b8c83aSimplify reverse proofsNick Drozd7 years ago c8f7604Merge pull request #4701 from melted/time_winNiklas Larsson7 years ago 7626280Implement idris_clock on windowsNiklas Larsson7 years ago 5eebc7bReplace > with > in definitional.rstMartin7 years ago 19a87f3Remove space before full stopJelle Besseling8 years ago ed4d4cfMerge pull request #4699 from melted/issue-4698Niklas Larsson7 years ago 1891190Mangle unicode identifiers in C backendNiklas Larsson7 years ago 62bd431Add Clock/clockTime in SystemEdwin Brady8 years ago dd065f3Fix potential memory error on tail callsEdwin Brady8 years ago a93d8c9Merge pull request #4691 from jfdm/fix-rtd-errorJan de Muijnck-Hughes8 years ago 4fc3ea0RTD builds were failing due to lack of pngmath extensions.Jan de Muijnck-Hughes8 years ago c2d21f8Merge pull request #4689 from jfdm/improve-language-docJan de Muijnck-Hughes8 years ago 3befe35Merge pull request #4687 from martinbaker/myDocJan de Muijnck-Hughes8 years ago 58bfb08Initial transfer of {AS} grammar to Sphinx Documtation.Jan de Muijnck-Hughes8 years ago 5379401small correctionMartin Baker8 years ago a38dc57fix minor foratting issueMartin Baker8 years ago e8fbb8cSuggested changes from David Thrane ChristiansenMartin Baker8 years ago ba5c9d3retain old tactics documentationMartin Baker8 years ago 52c8677rewrite documentation for interactive theorem provingMartin Baker8 years ago c736c53Merge pull request #4678 from mokshasoft/small-rts-fixesNiklas Larsson8 years ago 72bcc27Moved process count-down to terminate function for the C RTSJonas Claeson8 years ago cb90bf8Merge pull request #4685 from ziman/generalised-nat-hackNiklas Larsson8 years ago f3c3711Make stylish-haskell happy.Matus Tejiscak8 years ago ac26ce5Update comment.Matus Tejiscak8 years ago 21319b8Express a multiway "if" differently (GHC compat).Matus Tejiscak8 years ago b09150eUpdate test010.Matus Tejiscak8 years ago 938664dUpdate man page.Matus Tejiscak8 years ago 11b4fb1Rename to --optimise-nat-like-types.Matus Tejiscak8 years ago c899bcfRename --generalised-nat-hack to --opt-nat-likes.Matus Tejiscak8 years ago f2ee9e9Don't lambda-wrap unsaturated prim__addBigInt.Matus Tejiscak8 years ago 593cadeFix the "looks like S" check.Matus Tejiscak8 years ago 11d54e7Add --generalised-nat-hack.Matus Tejiscak8 years ago f0f566fFix unary apps + ordering of case trees.Matus Tejiscak8 years ago 6ef51e3Add forgotten default clause.Matus Tejiscak8 years ago e1afa90Add error message.Matus Tejiscak8 years ago 5e2000eHook case trees, too.Matus Tejiscak8 years ago 137d2aeCheck recursivity of S.Matus Tejiscak8 years ago e16f741Extend the Nat hack for Nat-like families.Matus Tejiscak8 years ago aee9c52Merge pull request #4684 from ivanperez-keera/masterNiklas Larsson8 years ago 7c7a17aFixes error in type definition for So.Ivan Perez8 years ago