fb9a5ecSmall revision to codata in the syntax guideEdwin Brady10 years ago 7e1b5a5Merge pull request #3662 from geigerzaehler/fix/master/data-type-docsEdwin Brady10 years ago c90347fMerge pull request #3583 from PoroCYon/masterEdwin Brady10 years ago a1e3b5bRevert to normalising from WHNFEdwin Brady10 years ago 1b3ed30Added Control.ST to contribEdwin Brady10 years ago ebf9367Make partial evaluator off by defaultEdwin Brady10 years ago 0ceaa30Deal with interfaces in totality differentlyEdwin Brady10 years ago 3323d0cAdd docs on data syntaxThomas Scholtes10 years ago 6f46ba0Merge pull request #3656 from RyanGlScott/masterNiklas Larsson10 years ago e25c2edMake stylish-haskell happyRyan Scott10 years ago 4a65355Run Idris in a UTF-8-compatible codepage on WindowsRyan Scott10 years ago bc553c7%error_reduce for more control over errorsEdwin Brady10 years ago 823d5d7Merge pull request #3649 from be5invis/be5inis-patch-changelog-3644Ahmad Salim Al-Sibahi10 years ago 835083cUpdate CHANGELOG.mdAhmad Salim Al-Sibahi10 years ago 63052b7Merge pull request #3648 from RyanGlScott/changelogAhmad Salim Al-Sibahi10 years ago b8b6fa0update changelogbe5invis10 years ago 0d5d85dNote #3643 in CHANGELOGRyan Scott10 years ago b6e1a8cMerge pull request #3643 from RyanGlScott/colors-in-minttyNiklas Larsson10 years ago 29ec929Fold isMinTTY into isATTYRyan Scott10 years ago fb221e8Allow colored output on MinTTY consoles on WindowsRyan Scott10 years ago d08fc3bMerge pull request #3644 from be5invis/be5invis-patch-win32-encodingNiklas Larsson10 years ago 4fd5fb7Merge pull request #3641 from RyanGlScott/masterNiklas Larsson10 years ago 8bd7c4aMerge pull request #3636 from mrkgnao/fix/master/nix-shebangsNiklas Larsson10 years ago 7d6316bFix encoding issue on Windows corresponded with `fopen`, `popen` and `argv`.be5invis10 years ago 44d86d4Fix the build with most recent blaze-markup (0.8)Ryan Scott10 years ago 66f4dddMerge pull request #3634 from Synthetica9/BitsCommentsNiklas Larsson10 years ago d1ea277Merge pull request #3640 from RyanGlScott/fix-mingw-w64-msys-buildNiklas Larsson10 years ago eeb5e87Fix the build on MSYS2 (Windows) when MSYSTEM=MINGW{32,64}Ryan Scott10 years ago aee28adFix interpreter paths for NixOS by using /usr/bin/envSoham Chowdhury10 years ago 5e22753More docsSynthetica910 years ago 7919873Some more docs for Data.BitsSynthetica910 years ago a3f8b0bStarted commenting Data.BitsSynthetica910 years ago 735fbd2Merge pull request #3632 from RyanGlScott/masterNiklas Larsson10 years ago 9b28211Stylize fixesEdwin Brady10 years ago ab56c6f'case' in interface methods now worksEdwin Brady10 years ago 57ea7feBuild interface constructor differentlyEdwin Brady10 years ago 88faa10Reorganise interface elaborationEdwin Brady10 years ago 83cf2f6Disable :! in IDE modeRyan Scott10 years ago b76d961Update CHANGELOGRyan Scott10 years ago d4ce631Add :! for running shell commands from the REPLRyan Scott10 years ago dc3d53fMerge pull request #3617 from ahmadsalim/hotfix/inference-constraint-inequalityAhmad Salim Al-Sibahi10 years ago 951d4b2Merge pull request #3631 from derekmorr/theorems-typoAhmad Salim Al-Sibahi10 years ago a08c265change <= to < in text to match code blockDerek Morr10 years ago c66bfe5Merge pull request #3628 from melted/tt_jsonNiklas Larsson10 years ago becd614More ambitious JSON generation from TTNiklas Larsson10 years ago 14b5f3eMerge pull request #3627 from joe9/masterNiklas Larsson10 years ago e4345f6bump formatVersionjoe910 years ago 436dc13removed dead code idris_whocalls and idris_callswho fields of the IState recordjoe910 years ago b30e112add a type alias for the TT Declaration as it is getting unwieldyjoe910 years ago 2339c66add TT to CodegenInfojoe910 years ago