0945fbfAdd note about Unicode operators to official FAQSteven 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 037ea33Fix reg039Edwin Brady10 years ago 160eb14Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady10 years ago 7c1a2c6Add %static annotation on functionsEdwin Brady10 years ago ff776daRename Session back to ChannelEdwin Brady10 years ago ea288f7Add missing cast to RTSDavid Christiansen10 years ago f754d9cPurify Idris of "return"David Christiansen10 years ago 1ca7a2cMerge pull request #3380 from zjhmale/rename-interfaceNiklas Larsson10 years ago c3f0755replace code level class symbol with inferfacezjhmale10 years ago 06cc10aMerge pull request #3382 from melted/fix_buildNiklas Larsson10 years ago f8ee19aFix buildNiklas Larsson10 years ago 7e0c70aFix potential loop in prepare_applyEdwin Brady10 years ago 769301bAdded `--sourcepath` optionAhmad Salim Al-Sibahi10 years ago 8d42e43Merge pull request #3371 from BartAdv/patch-2Jan de Muijnck-Hughes10 years ago 6ea5fa4Add short info on headers copyingBartosz10 years ago bd4789cUse `fullExpr` instead of `typeExpr` in search(λ _ λ)10 years ago e8d356fMerge pull request #3348 from steshaw/tidy-stderr-output-from-base001Niklas Larsson10 years ago 0e6a10aMerge pull request #3354 from bravit/fix/master/2884Niklas Larsson10 years ago 9cc36e8Make totality checker to report partial functions correctly (fix #2884)Vitaly Bragilevsky10 years ago c4d6e83Tidy stderr from `base001` more portably.Steven Shaw10 years ago f652e05Tidy stderr output from base001.Steven Shaw10 years ago 64ee875Merge pull request #2971 from melted/editor_varNiklas Larsson10 years ago 013d11cMerge pull request #3359 from jfdm/badges-make-us-coolJan de Muijnck-Hughes10 years ago 799b432Use system to allow $EDITOR with argsNiklas Larsson10 years ago