git.iko.soy/Idris-dev
on 465cc1c help sign in
history ofidris.cabal
all commits
14b7025Merge remote-tracking branch 'refs/remotes/upstream/master' into issue/1172David Raymond Christiansen 5bd490bVersion number incrementEdwin Brady abe0f32Merge pull request #2027 from david-christiansen/issue/2019David Christiansen be1569eFix type class name propagation issueEdwin Brady 50d7dcePrevent variable capture when desugaring custom syntaxDavid Raymond Christiansen beda221Improve display of documenation for named instancesDavid Raymond Christiansen 3d81858Merge pull request #2007 from david-christiansen/library-reorgDavid Christiansen c2b1627Remove base/Network from cabal fileDavid Raymond Christiansen 4e34dfdUpdate library list in cabal fileDavid Raymond Christiansen 2d311c1Fixes from library reorgDavid Raymond Christiansen 174395bMerge remote-tracking branch 'upstream/master' into issue2004Andreas Reuleaux 2be0cf8Merge remote-tracking branch 'upstream/master' into library-reorgDavid Raymond Christiansen 9367f93Fix cabal fileDavid Raymond Christiansen e6c5588Move Network code to contribDavid Raymond Christiansen 15737d9Trickiness with implicits in dependent classesEdwin Brady 059dafbMove System.Concurrency.Raw back to baseDavid Raymond Christiansen aa33865Merge remote-tracking branch 'upstream/master' into issue2004Andreas Reuleaux 1bf2731issue #2004 resolved by --consolewith cmd line paramAndreas Reuleaux 2a70296Merge remote-tracking branch 'refs/remotes/upstream/master' into wip/tacticalDavid Raymond Christiansen c2dc6ecAllow new-style tactics to declare function signaturesDavid Raymond Christiansen b493858Add -f execonly to omit library/rts buildsEdwin Brady 30fe3d7Update cabal file for reorganizationDavid Raymond Christiansen 774e2feAdd type providers docs test case to cabal fileAdam Sandberg Eriksson ccc2af0instance docs: rename testcaseAdam Sandberg Eriksson c72c60aInstance docs: add test case to cabal fileAdam Sandberg Eriksson e9c96d4Add test for FFI export (ffi006)Edwin Brady f7648dbForeign export lists in IOEdwin Brady a1c42adAdd "rewrite" to new-style tacticsDavid Raymond Christiansen b048140Overloaded quasiquotationsDavid Raymond Christiansen f17606a"claim" and "unfocus" tacticsDavid Raymond Christiansen c918f44Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 26cfbe9Scoped implicits fixEdwin Brady b85b2ebRename ideslave to ide-modeDavid Raymond Christiansen 725821bConstraint blaze-markup to fix buildsEdwin Brady e4cf620Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady d745c2eMerge pull request #1852 from 4e6/repl-module-reloadEdwin Brady f6df58cMerge branch 'master' of github.com:idris-lang/Idris-dev into new_ffiEdwin Brady d5377beNew language-dependent FFIEdwin Brady 60e4921Relax lower bound on mtlEric Mertens 39c07a7Proper REPL module reloadingDmitry Bushev 02d26ecMerge pull request #1841 from david-christiansen/issue/1806David Christiansen c729d2fSupport scoped type class constraintsEdwin Brady 0b23ef2Replace _ patterns with fresh variables under @-patternsDavid Raymond Christiansen 1c93363Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 8f06157Update version numberEdwin Brady fc949e8Add flag for CI-builds in cabal-fileNorbert Melzer 25c117aMerge pull request #1828 from RyanGlScott/masterDavid Christiansen 5088572Fix Curses craziness in test + missing test fileDavid Raymond Christiansen 85cf83fAllow building with base-4.8.0.0RyanGlScott 6b803b7Allow documentation for modulesDavid Raymond Christiansen