git.iko.soy/Idris-dev
on master help sign in
history ofd3badf2..master
compare
375d62fMerge pull request #4481 from skibaa/patch-1Niklas Larsson a272918Small improvements to inlining in LangOptsEdwin Brady a047bceMake covering function public exportAndrew Skiba 0e44aa5Enabled Fractional instance for Complex aEvan Jenkins 88a9f38Merge pull request #4465 from SPY/bugfix/compile-time-str-to-intNiklas Larsson 5be7810Merge pull request #4475 from idris-lang/travis-fix-7.10Niklas Larsson bb9b19cMerge pull request #4472 from melted/issue-4470Niklas Larsson 1fccb4bUse a newer cabal with 7.10Niklas Larsson c889dc9Define IDRIS_GMP if compiling with real GMPNiklas Larsson 7dba584Merge pull request #4471 from SPY/patch-1Jan de Muijnck-Hughes 462f1b8Reference to WebAssembly backend addedIlya Rezvov 7171465Fix discrepancy in behaviour of run-time and complile-time str-to-int implementationsIlya Rezvov 3a2f57eMerge pull request #4449 from bonds/masterNiklas Larsson e5626bbMerge pull request #4460 from XeFias/masterJan de Muijnck-Hughes b640947Merge pull request #4459 from jfdm/fix-repetition-idris-highlightJan de Muijnck-Hughes 83d9f72A paper by David R. Christiansen has been moved.XeFias 90683e3Fix repetition in Idris Highlights.Jan de Muijnck-Hughes 02f0ec3Merge pull request #4458 from jfdm/stack-ltsJan de Muijnck-Hughes 350189aupdated stack to latest LTS version (11.11)Jan de Muijnck-Hughes 02bfaacMerge pull request #4457 from jfdm/fix-pdf-docJan de Muijnck-Hughes 98b8014Let's ensure the PDF is updated as well.Jan de Muijnck-Hughes 7701b47Merge pull request #4456 from steshaw/doc-fixNiklas Larsson a08a1e6Change DecEq primitives to use believe_meEdwin Brady 3f19e4cCorrect link to "Design and Implementation" paperSteven Shaw fe79d87Merge pull request #4448 from zenntenn/fix/master/differenceDavid Thrane Christiansen 61cf812Update version numberv1.3.0Edwin Brady 3b35e39Fix DecEq implementation on primitivesEdwin Brady 437b0e9Changed the file name and location so this will build properly renamed: Data/Nat/Difference.idr -> Data/Nat.idrzenntenn cb84402Added Data.Nat to package file modified: libs/contrib/contrib.ipkgzenntenn 5229ca1Added function to module Data.Nat modified: libs/contrib/Data/Nat/Difference.idrzenntenn b34f18bWarn stack install users to keep .stack_work aroundScott Bonds 93fe664Implement Semigroup and Monoid for morphismshowtonotwin 7c04687Add Functor, Applicative, and Monad instances for Kleislimorphismhowtonotwin cc54b7bClean up Data.Morphismshowtonotwin a6f9820Add more Vect proofshowtonotwin 4d69b3fMake splitAt more efficienthowtonotwin