git.iko.soy/Idris-dev
on 6d8bfbc help sign in
6d8bfbcAdd %used directive for idris_crashEdwin Brady 4a5c677Add 'idris_crash'Edwin Brady 280810bMerge pull request #3551 from jfdm/improv-compiler-progress-reportingJan de Muijnck-Hughes 53c8ca7Updated changelog.Jan de Muijnck-Hughes 714de35Fix verbosity configuration error.Jan de Muijnck-Hughes 15b0829Improve progress reporting.Jan de Muijnck-Hughes 4eee260Merge pull request #3561 from jfdm/fix-user-doc-for-ipkgJan de Muijnck-Hughes a02bfecMerge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 58c3bb7Hide more features behind %language pragmasEdwin Brady efd9950Updates to User Docs on Idris packages.Jan de Muijnck-Hughes 2c9496ffix sphinx warnings.Jan de Muijnck-Hughes 9cc65aafix heading in user docs.Jan de Muijnck-Hughes e3fa3cdMerge pull request #3560 from justjoheinz/patch-2Jan de Muijnck-Hughes fe82599Update the reference for packagesMarkus Klink 9022afbMerge pull request #3556 from jfdm/fix-testpkg-for-windowsJan de Muijnck-Hughes 4634210Merge pull request #3550 from jfdm/fix-idrisdoc-copyingJan de Muijnck-Hughes 1fee7a0Merge pull request #3554 from justjoheinz/patch-1Jan de Muijnck-Hughes 03f3980Fix package testing for windows. Fixes #3541Jan de Muijnck-Hughes 82afba4Update testing.rstMarkus Klink 57a3b93Merge pull request #3552 from jfdm/improve-sys-exitJan de Muijnck-Hughes a45f3beAdd %access export statementMarkus Klink 4ddda1eupdated changelog.Jan de Muijnck-Hughes 0ba2ce6Improve `System.Exit` Fixes #3488.Jan de Muijnck-Hughes 6fc3627Merge pull request #3549 from jfdm/fix-safe-boundsJan de Muijnck-Hughes e59d304Make bound for `safe` dependent in ghc version.Jan de Muijnck-Hughes d89f3faAdd non-zero restriction to gcdFabian Heredia Montiel 327a423Merge pull request #3547 from Termina1/patch-1Jan de Muijnck-Hughes a2a823dShow where used cabal and travis are.Jan de Muijnck-Hughes d1bc3faMake fetching of data files more robust. Fixes #3544Jan de Muijnck-Hughes 7eed681add myself to contributorsVyacheslav Shebanov 8559356Relax safe bounds, Fixes #3543.Jan de Muijnck-Hughes 617f8a8change export rules for moduleVyacheslav Shebanov 01aff97Fix names in generating missing casesEdwin Brady ea88b5eBetter choice of pattern to inspect in coverageEdwin Brady 7c95173Undo more liberal choice of forced argumentsEdwin Brady dd231d2Fix mistake in Data.hsEdwin Brady fe68986Coverage checker fixEdwin Brady 3a881e6Fix whnfArgs naming errorEdwin Brady 4d574b9Merge pull request #3533 from jfdm/make-mkpkg-more-robustJan de Muijnck-Hughes f6f52f3Made Mac OS X package generatation more robust.Jan de Muijnck-Hughes 68f850aMerge pull request #3531 from jfdm/fix-contributors-fileJan de Muijnck-Hughes 9921833Update version in CHANGELOGEdwin Brady 4a54ee7Version increment to 0.99v0.99Edwin Brady 25eea96'compute' rather than whnf on disambiguationEdwin Brady 8dc243fMore WHNF in Elab.TermEdwin Brady 7818396Don't whnf binder typesEdwin Brady d0671a3Use WHNF in a few placesEdwin Brady 3612623More WHNF editsEdwin Brady b0130d6Add whnfArgsEdwin Brady b28f12bWHNF takes an environmentEdwin Brady