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 b75f32fAdd myself to CONTRIBUTORSChris Gibbs10 years ago 91c9a50Add proofs to Data.ZZ in contribChris Gibbs10 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 3b95b07Merge pull request #3619 from Synthetica9/patch-1Ahmad Salim Al-Sibahi10 years ago c331c16Add myself to `CONTRIBUTORS`, as requested.Synthetica910 years ago c4e039eMerge pull request #3618 from ahmadsalim/hotfix/travis-stylishness-configAhmad Salim Al-Sibahi10 years ago 9e69858Fixed unstylized things in Idris and stylize.sh scriptAhmad Salim Al-Sibahi10 years ago fd26c0bUse system GHC in stackAhmad Salim Al-Sibahi10 years ago 146f3baMade stack and GHC versions flexibleAhmad Salim Al-Sibahi10 years ago 81c8db7Fixed inequality test when generating inference constraintsAhmad Salim Al-Sibahi10 years ago d0e74afFixed cabal version for STYLISH configAhmad Salim Al-Sibahi10 years ago c03fa21Merge pull request #3415 from steshaw/interactive-indentation-configAhmad Salim Al-Sibahi10 years ago bc91270Merge pull request #3612 from atacratic/DataZZplusAssociativeZEdwin Brady10 years ago 024663cMerge pull request #3475 from enolan/stylish-travisEdwin Brady10 years ago 6d90b54Merge pull request #3609 from justjoheinz/feature/zipperEdwin Brady10 years ago a136895Merge pull request #3598 from allancto/patch-1Edwin Brady10 years ago a463bb1Collected language PRAGMAs and removed debugging commentsAhmad Salim Al-Sibahi10 years ago 2e9847cMerge pull request #3611 from pkel/patch-1Ahmad Salim Al-Sibahi10 years ago fb33d8cIndentation configuration via command line args.Steven Shaw10 years ago c86bf98Merge pull request #3605 from XeFias/masterAhmad Salim Al-Sibahi10 years ago 8f7d9a4Merge pull request #3557 from Synthetica9/Data_MonoidAhmad Salim Al-Sibahi10 years ago 1da1805Merge pull request #3548 from eklavya/masterAhmad Salim Al-Sibahi10 years ago a7c7eb1Merge pull request #3613 from david-christiansen/eq-RawDavid Christiansen10 years ago 3ab7affAdd Eq instance for RawDavid Christiansen10 years ago