git.iko.soy/Idris-dev
on master help sign in
history ofa114693..master
compare
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 21e0347Added DockerfileAaron Craelius 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 ed2bda5Updates to renaming dependent pairs.Jan de Muijnck-Hughes 8ed216aRenamed `UPair` to `UniquePair`Jan de Muijnck-Hughes fa36bbcAdjust documentation for dependent pairs.Jan de Muijnck-Hughes 91d583eImprove C FFINiklas Larsson 50f4c82Make "Can't solve goal" more meaningfulEdwin Brady e55fe2fBinder name changes in Elem/ThereEdwin Brady 2a6b577Merge pull request #2896 from sheganinans/masterNiklas Larsson 80e707eMerge pull request #2952 from bgamari/masterNiklas Larsson 2cc227bcabal: Remove redundant ghc-optionsBen Gamari 2028accMerge pull request #2949 from jfdm/code-movementJan de Muijnck-Hughes e95b013Made Parser submodules actual submodules.Jan de Muijnck-Hughes 8d3cf2dMerge pull request #2695 from melted/callbacksNiklas Larsson c292d12Moved REPLParser to be under REPL namespace.Jan de Muijnck-Hughes 1909c32Moved Quasiquote under Elab namespace.Jan de Muijnck-Hughes b61bdacMerge pull request #2948 from jfdm/doc-updates-access-modifiersJan de Muijnck-Hughes b290280Implement support for C callbacksNiklas Larsson c5d331fMerge pull request #2951 from melted/tweak_ignoreNiklas Larsson 0d86940ignore .orig filesNiklas Larsson 58f6c42Merge pull request #2943 from melted/storableNiklas Larsson 310f046Fix case split/unification bugEdwin Brady 9ecaccaAdd Uninhabited for Elem x []Edwin Brady 46b5cb6Merge pull request #2950 from Heather/coloursNiklas Larsson da61891Updated docs with note about visibility of type synonyms.Jan de Muijnck-Hughes 2951828Idris/AST: minor readability improvementsHeather 73f6eb7replace if else with list comprehension syntaxHeather fe71b95Implement primitive memory access functionsNiklas Larsson