62695fcAdd implementation of Sized for Pair typeZack Grannan8 years ago f70d4faUse Integer comparison in Lexer for string lengthEdwin Brady8 years ago 86126a7Merge pull request #4526 from doofin/masterNiklas Larsson8 years ago 6a55558Update idris_stdfgn.cdoofin8 years ago c9e8cf9fix with MKSTRdoofin8 years ago c0360f6fixdoofin8 years ago d026c4eadd currentDirdoofin8 years ago c6c087fMerge pull request #4521 from doofin/masterNiklas Larsson8 years ago 2642556Merge pull request #4519 from melted/fix_getDepsTermNiklas Larsson8 years ago dce3380add eitherToMaybedoofin8 years ago 2c90685Handle Inferred terms in getDepsTermNiklas Larsson8 years ago f16b5c0Merge pull request #4518 from clayrat/patch-12Niklas Larsson8 years ago 88f8196add `VerifiedFunctor (Pair a)`Alex Gryzlov8 years ago bbeb2a9Merge pull request #4477 from ejenk/fix/master/my_contribNiklas Larsson8 years ago 3bf788aMerge pull request #4515 from howtonotwin/feature/more-morNiklas Larsson8 years ago d8720baMerge pull request #4509 from MarisaKirisame/patch-1Niklas Larsson8 years ago c4c03b6Merge pull request #4505 from howtonotwin/feature/vect-isosNiklas Larsson8 years ago cfbf692Prettify Monoids for morphismshowtonotwin8 years ago 7454bb2Clean up splitAthowtonotwin8 years ago 5ed7efbUse heterogeneous equality for take/drop proofshowtonotwin8 years ago cb80367Make vectInjective# use heterogeneous equalityhowtonotwin8 years ago 8d63fcfClean uphowtonotwin8 years ago 9aa0517Replace vectLiftIso with mapIsohowtonotwin8 years ago a27d753Make functorIdentity use extensional equalityhowtonotwin8 years ago f51a9ccAdd many more Isos to contribhowtonotwin8 years ago dacbb3afix param name in comment.雾雨魔理沙8 years ago b4a3059More Vect proofshowtonotwin8 years ago 7b38ac2Merge branch 'master' into feature/vect-isoshowtonotwin8 years ago f35d483mtimes, stimes, and Monoid for Isohowtonotwin9 years ago 1c0bf46Make Iso a recordhowtonotwin9 years ago 958d89eMinor cleanuphowtonotwin9 years ago ebd3119Merge pull request #4502 from idris-lang/aeson-boundNiklas Larsson8 years ago d32cec8Merge pull request #4501 from melted/issue-4497Niklas Larsson8 years ago 7f19664Raise aeson boundNiklas Larsson8 years ago 33aa5f6Create doc files with default permissionsNiklas Larsson8 years ago 02e395eMerge pull request #4499 from clayrat/patch-11Niklas Larsson8 years ago f660d36Merge pull request #4500 from melted/cb_closure_errNiklas Larsson8 years ago 1360ff7stylizeNiklas Larsson8 years ago 631f3dbError when using closure as callback in C backendNiklas Larsson8 years ago 2e340f4fix the type of end grammar in someTill'Alex Gryzlov8 years ago c5c8edeMerge pull request #4498 from Infinisil/line-bufferingNiklas Larsson8 years ago c78d502Set stdout line buffering before building inputsSilvan Mosberger8 years ago a675cdbMerge pull request #4494 from jfdm/fix-nubbingJan de Muijnck-Hughes8 years ago 193589fWhy nub a list when you can use a set.Jan de Muijnck-Hughes8 years ago dbe521fMerge pull request #4488 from jfdm/stack-updateJan de Muijnck-Hughes8 years ago efb1569Updated to latest LTS Haskell snapshot.Jan de Muijnck-Hughes8 years ago bddb006Merge pull request #4486 from jfdm/update-to-faqJan de Muijnck-Hughes8 years ago f7f8d92Tail calls via trampolines in C back endEdwin Brady8 years ago 4e16ffbUpdated FAQ with information about documentationJan de Muijnck-Hughes8 years ago 24c2e6fUpdated FAQ about self hosting.Jan de Muijnck-Hughes8 years ago