375d62fMerge pull request #4481 from skibaa/patch-1Niklas Larsson8 years ago a272918Small improvements to inlining in LangOptsEdwin Brady8 years ago a047bceMake covering function public exportAndrew Skiba8 years ago 0e44aa5Enabled Fractional instance for Complex aEvan Jenkins8 years ago 88a9f38Merge pull request #4465 from SPY/bugfix/compile-time-str-to-intNiklas Larsson8 years ago 5be7810Merge pull request #4475 from idris-lang/travis-fix-7.10Niklas Larsson8 years ago bb9b19cMerge pull request #4472 from melted/issue-4470Niklas Larsson8 years ago 1fccb4bUse a newer cabal with 7.10Niklas Larsson8 years ago c889dc9Define IDRIS_GMP if compiling with real GMPNiklas Larsson8 years ago 7dba584Merge pull request #4471 from SPY/patch-1Jan de Muijnck-Hughes8 years ago 462f1b8Reference to WebAssembly backend addedIlya Rezvov8 years ago 7171465Fix discrepancy in behaviour of run-time and complile-time str-to-int implementationsIlya Rezvov8 years ago 3a2f57eMerge pull request #4449 from bonds/masterNiklas Larsson8 years ago e5626bbMerge pull request #4460 from XeFias/masterJan de Muijnck-Hughes8 years ago b640947Merge pull request #4459 from jfdm/fix-repetition-idris-highlightJan de Muijnck-Hughes8 years ago 83d9f72A paper by David R. Christiansen has been moved.XeFias8 years ago 90683e3Fix repetition in Idris Highlights.Jan de Muijnck-Hughes8 years ago 02f0ec3Merge pull request #4458 from jfdm/stack-ltsJan de Muijnck-Hughes8 years ago 350189aupdated stack to latest LTS version (11.11)Jan de Muijnck-Hughes8 years ago 02bfaacMerge pull request #4457 from jfdm/fix-pdf-docJan de Muijnck-Hughes8 years ago 98b8014Let's ensure the PDF is updated as well.Jan de Muijnck-Hughes8 years ago 7701b47Merge pull request #4456 from steshaw/doc-fixNiklas Larsson8 years ago a08a1e6Change DecEq primitives to use believe_meEdwin Brady8 years ago 3f19e4cCorrect link to "Design and Implementation" paperSteven Shaw8 years ago fe79d87Merge pull request #4448 from zenntenn/fix/master/differenceDavid Thrane Christiansen8 years ago 61cf812Update version numberv1.3.0Edwin Brady8 years ago 3b35e39Fix DecEq implementation on primitivesEdwin Brady8 years ago 437b0e9Changed the file name and location so this will build properly renamed: Data/Nat/Difference.idr -> Data/Nat.idrzenntenn8 years ago cb84402Added Data.Nat to package file modified: libs/contrib/contrib.ipkgzenntenn8 years ago 5229ca1Added function to module Data.Nat modified: libs/contrib/Data/Nat/Difference.idrzenntenn8 years ago b34f18bWarn stack install users to keep .stack_work aroundScott Bonds8 years ago d3badf2Finds the difference between two Nats new file: libs/contrib/Data/Nat/Difference.idrzenntenn8 years ago 88f5c71Merge pull request #4443 from mdimjasevic/tutorial-viewsJan de Muijnck-Hughes8 years ago 93695e2Fixes a few typos in the tutorial on viewsMarko Dimjašević8 years ago 597411fMerge pull request #4434 from jacereda/strip-deadNiklas Larsson8 years ago d13fa5cStrip unreachable code/dataJorge Acereda8 years ago 93fe664Implement Semigroup and Monoid for morphismshowtonotwin9 years ago 7c04687Add Functor, Applicative, and Monad instances for Kleislimorphismhowtonotwin9 years ago cc54b7bClean up Data.Morphismshowtonotwin9 years ago fb1cc4eMerge pull request #4431 from jacereda/recv-leakNiklas Larsson9 years ago 2247f69Leak when receiving from inactive senderJorge Acereda9 years ago 33d367dMerge pull request #4429 from jacereda/master-unboxed-bits8-bits16Niklas Larsson9 years ago 699090eUndo previous commit mess which contained unrelated code from another branchJorge Acereda9 years ago 48e5806Merge pull request #4430 from jacereda/patch-1Niklas Larsson9 years ago acce007Update introduction.rstjacereda9 years ago 165c2bdMerge pull request #4424 from jacereda/printer-depthAhmad Salim Al-Sibahi9 years ago a6e06b5Merge pull request #4427 from clayrat/patch-9Ahmad Salim Al-Sibahi9 years ago e9a31f4Unboxed Bits8/Bits16 using Int as the underlying representationJorge Acereda9 years ago fb301a5Forget stylish... again...Edwin Brady9 years ago 778bd17Faster dependency chasingEdwin Brady9 years ago