git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofidris.cabal
all commits
e7d5ef1Split off VectorSpace, Lattice from Algebra moduleBlackBrane 7f9fba5Allow adding new effects in Eff programsEdwin Brady b9b19e5Implement bundled toolchain featureNiklas Larsson e5384b9Merge pull request #2080 from jstolarek/T2080David Christiansen 0f86748Fix build errors with GHC 7.10.1. Fixes #2080Jan Stolarek a13b22cMerge branch 'lambda-impossible' of https://github.com/Melvar/Idris-dev into Melvar-lambda-impossibleDavid Raymond Christiansen 13a36a3Annotate functions as %hint for auto searchEdwin Brady 73ea02bRemove Buffer and BitVector from parserEdwin Brady c413280String in C is now UTF8 encodedEdwin Brady fc9839cAdd test for impossible in lambda and caseMelvar Chen 9866d48Increment patch version numberv0.9.17.1Edwin Brady 2d503f1Fix interactive proverEdwin Brady 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