git.iko.soy/Idris-dev
on v0.10.1 help sign in
fdb04afUpdate patch versionv0.10.1Edwin Brady 76c46bbMore flexible holesEdwin Brady be0ff0fAdd 'definable' flag to metavariablesEdwin Brady 65125aeMerge pull request #2979 from melted/ffi_docsNiklas Larsson 7cb145cDo a writeup on new C FFI featuresNiklas Larsson cfc8436Don't normalise constructor typesEdwin Brady dc7fd3bMerge pull request #2942 from projedi/sigint-handlingNiklas Larsson 2aae0b3Do not quit the REPL on Ctrl-C.Alexander Shabalin 2db63e8Merge pull request #2975 from bitemyapp/patch-1David Christiansen 291ccdcJust/Nothing for intro was split into intro/intro'Chris Allen 60f2277Merge pull request #2974 from enolan/cursesNiklas Larsson 4ab3eefRemove redundant --consolewidth settings in testsEcho Nolan 67610bbDon't check terminal size if we're not connected to oneEcho Nolan 3542d0aRemove stray Debug.TraceEcho Nolan 3963984Merge pull request #2959 from ziman/monad-flattenEdwin Brady 9f202dcMake coverage checking more conservativeEdwin Brady be0ab25Display totality errors on type check failureEdwin Brady b81f30dBetter error for bad interface declarationEdwin Brady 6e5ee86Updated testEdwin Brady a009be6Allow setting function flags on instancesEdwin Brady 1d97fa7Propagate default totality to instancesEdwin Brady 6c682f3Comment editingEdwin Brady fdfd99eFix behaviour of %hideEdwin Brady 0c5b397Revert to old behaviour on expression searchEdwin Brady 69921eeFix warning for implicitable namesEdwin Brady bdeaed6Deprecate flatten.Matus Tejiscak ebed396Merge pull request #2968 from melted/fix_truncationNiklas Larsson d52a696Get more data from bigint when truncatingNiklas Larsson 1cf8fe9Context for "Can't find implementation"Edwin Brady f2eaf90Merge pull request #2965 from melted/fix_2964David Christiansen f3effd1Fix missing consolewidth in testNiklas Larsson 56122b5Merge pull request #2958 from sheganinans/masterNiklas Larsson 0544ce9Rename `flatten` to `join`.Matus Tejiscak 3851f59Add flatten to Monad.Matus Tejiscak bdf2789File Modes CHANGELOGAistis Raulinaitis fab2fe0Merge pull request #2957 from david-christiansen/issue/2956David Christiansen 05c0ebaDetail in docstring for zipWith on Vect and StreamDavid Raymond Christiansen 36448f9Merge pull request #2953 from melted/ffi_wrappersNiklas Larsson 01dc140Merge pull request #2955 from jfdm/fix-benchmarksJan de Muijnck-Hughes 6dd6393Merge pull request #2738 from jfdm/naming-adjustmentsJan de Muijnck-Hughes 906d921Merge pull request #2954 from jfdm/fix-prelude-file-deprecation-warningJan de Muijnck-Hughes 930f8acmakeLemma heuristic for when to show classesEdwin Brady 9cf2c02Update Benchmark to respect new visibility rules.Jan de Muijnck-Hughes 87f1da9Fix deprecation warnings for File Writing.Jan de Muijnck-Hughes 714f514reverted missing changelog data.Jan de Muijnck-Hughes fd2501bRenamed `DepPair` to DPairJan de Muijnck-Hughes 5e0e4e9Renamed `UniquePair` to `UPair`.Jan de Muijnck-Hughes 006bd17Restored usage annotation.Jan de Muijnck-Hughes 66a97ecDeprecation warnings for `UPair`Jan de Muijnck-Hughes 0a3a77dUpdated changelog.Jan de Muijnck-Hughes