e3ddce1Fixed typo in typesfuns.rstJan de Muijnck-Hughes10 years ago 6291a3fTransfered internals wiki page from github wiki to proper docs.Jan de Muijnck-Hughes10 years ago 0df1270Change Instance to implementation (#3404)(λ _ λ)10 years ago a38b7deFix minigmp assertion failureEdwin Brady10 years ago 566b6a0Fix performance regression in coverage checkerEdwin Brady10 years ago d5ec3d2Merge pull request #3418 from jfdm/add-lib-to-libdir-pathJan de Muijnck-Hughes10 years ago 425e3eeMerge pull request #3416 from zjhmale/update-ide-protocol-docJan de Muijnck-Hughes10 years ago eb4f161Add scanl and scanl1 implementations to List (#3406)Anthony10 years ago 6b90f7bMerge pull request #3417 from enolan/3397Jan de Muijnck-Hughes10 years ago 3ca2d2bMerge pull request #3412 from steshaw/unicode-operators-faqJan de Muijnck-Hughes10 years ago f7222d3Addressed the narrative point of view.Steven Shaw10 years ago 8932658Install packages in sub-directory of Idris' data dir.Jan de Muijnck-Hughes10 years ago 55e72e4Add a test for #3397Echo Nolan10 years ago 72ab227Name change in ChannelsEdwin Brady10 years ago dd6c823Avoid unnecessary normalisation in mkClaimsEdwin Brady10 years ago bfc32acFix #3397 - ibcsubdir was brokenEcho Nolan10 years ago eb9eabfadd version command to docszjhmale10 years ago 2f7a893Merge pull request #3411 from steshaw/refactor-mainJan de Muijnck-Hughes10 years ago eab81ecMerge pull request #3413 from melted/node_writesyncNiklas Larsson10 years ago 6f9f55dUse synchronous writes in node runtime.Niklas Larsson10 years ago 0945fbfAdd note about Unicode operators to official FAQSteven Shaw10 years ago 4431513Refactor `main/Main.hs`.Steven Shaw10 years ago 8b659b7Merge pull request #3409 from steshaw/use-search-path-separatorNiklas Larsson10 years ago 166760fUse System.FilePath.searchPathSeparator.Steven Shaw10 years ago 16b0fe8Merge pull request #3396 from enolan/port-noneAhmad Salim Al-Sibahi10 years ago 289df05Merge pull request #3376 from zjhmale/fix-error-messageAhmad Salim Al-Sibahi10 years ago 3a0ed32bump up ibc versionzjhmale10 years ago 4615cffMerge pull request #3399 from enolan/hot-commentsAhmad Salim Al-Sibahi10 years ago c328d7cMerge pull request #3401 from david-christiansen/printdef-infixDavid Christiansen10 years ago 53fae80use interface in error message when check instancezjhmale10 years ago 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ)10 years ago 13ad7deUse correct fixity info for :printdefDavid Raymond Christiansen10 years ago 1a7d24eMerge pull request #3400 from enolan/purify-benchmarksAhmad Salim Al-Sibahi10 years ago be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan10 years ago 314d651Add some type signaturesEcho Nolan10 years ago 938e861Fix deprecation warnings in benchmarksEcho Nolan10 years ago 9c636f4Remove a bunch of "deriving instance NFData" hot commentsEcho Nolan10 years ago 5b2711fMerge pull request #3362 from jfdm/isolate-mainJan de Muijnck-Hughes10 years ago 2842bacTidying of `idrisMain` (fixes #1454).Jan de Muijnck-Hughes10 years ago a371119Merge pull request #3392 from david-christiansen/coredefDavid Christiansen10 years ago 32da73aTypo in docs for Foldable. (#3394)Steven Shaw10 years ago acb2efbprim__vm needs to take a World referenceEdwin Brady10 years ago 29046ccPrint core definitionsDavid Christiansen10 years ago e0c893cMerge pull request #3381 from david-christiansen/purificationDavid Christiansen10 years ago 7da4cf2Add info on $= record update syntax.Bartosz10 years ago 003b68cBetter path generation in termination checkerEdwin Brady10 years ago 9997cafMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady10 years ago 8fea0b0Update dsl001 testEdwin Brady10 years ago 75ba656Merge pull request #3387 from zjhmale/rename-sessions-fileNiklas Larsson10 years ago d38f315rename Sessions.idr to Channels.idrzjhmale10 years ago