git.iko.soy/Idris-dev
on d3badf2 help sign in
d3badf2Finds the difference between two Nats new file: libs/contrib/Data/Nat/Difference.idrzenntenn 88f5c71Merge pull request #4443 from mdimjasevic/tutorial-viewsJan de Muijnck-Hughes 93695e2Fixes a few typos in the tutorial on viewsMarko Dimjašević 597411fMerge pull request #4434 from jacereda/strip-deadNiklas Larsson d13fa5cStrip unreachable code/dataJorge Acereda fb1cc4eMerge pull request #4431 from jacereda/recv-leakNiklas Larsson 2247f69Leak when receiving from inactive senderJorge Acereda 33d367dMerge pull request #4429 from jacereda/master-unboxed-bits8-bits16Niklas Larsson 699090eUndo previous commit mess which contained unrelated code from another branchJorge Acereda 48e5806Merge pull request #4430 from jacereda/patch-1Niklas Larsson acce007Update introduction.rstjacereda 165c2bdMerge pull request #4424 from jacereda/printer-depthAhmad Salim Al-Sibahi a6e06b5Merge pull request #4427 from clayrat/patch-9Ahmad Salim Al-Sibahi e9a31f4Unboxed Bits8/Bits16 using Int as the underlying representationJorge Acereda fb301a5Forget stylish... again...Edwin Brady 778bd17Faster dependency chasingEdwin Brady 3505a60extend Data.SignAlex Gryzlov 6408457Reduce work allNamesIn has to doEdwin Brady 9fd28efFix depth handlingJorge Acereda d0e0680Merge pull request #4418 from olegv11/erasure_typoNiklas Larsson 86364faMerge pull request #4417 from steshaw/patch-1Niklas Larsson 454fac3Fix typoolegv11 dfbd38fTypoSteven Shaw e4d006aMerge pull request #4413 from jacereda/messaging-leakNiklas Larsson 9d62d28Merge pull request #4412 from joom/masterNiklas Larsson c77938fMerge pull request #4414 from jacereda/initial-message-errorNiklas Larsson 10a9188Merge pull request #4411 from jacereda/inbox-errorNiklas Larsson 764df5fidris_checkInitMessages() didn't check the init bit properlyJorge Acereda 6a14b2agetMsg leakJorge Acereda b8f34d1Bump to LTS 11.3 and fingertree-0.1.4.1Joomy Korkut af281abBad size in inbox allocation, analyzer warningJorge Acereda 1a7e2eaMerge pull request #4409 from OlingCat/masterNiklas Larsson 5f5ad04Merge pull request #4410 from melted/update_travisNiklas Larsson beeee84Update travis with newer GHC versionsNiklas Larsson eb8166bMerge pull request #4406 from melted/buf002Niklas Larsson be7eb99Add code-block mark.Oling Cat ffd720aMerge pull request #4408 from OlingCat/masterJan de Muijnck-Hughes ba99eddMerge remote-tracking branch 'idris-lang/master'Oling Cat ed93603Fix some typos and normalize the use of punctuations.Oling Cat 4bef2eeUpdate test buffer002 to use valid Int values on 32-bit buildsNiklas Larsson 4c5c430Merge pull request #4404 from jacereda/masterNiklas Larsson b8a1382Add myself to CONTRIBUTORSJorge Acereda 40a58feUpdate CHANGELOG with the closure work.Niklas Larsson c2af016Merge pull request #4385 from jacereda/smaller-closureNiklas Larsson bc018b1Fix some format.Oling Cat 3d0168fRemove arity field from Con structJorge Acereda ad2a756Use hdr.u16 to store arityJorge Acereda 8ce876cRemove _null macroJorge Acereda cdeea74Align to pointer sizeJorge Acereda 3b8412dRemove -gJorge Acereda