git.iko.soy/Idris-dev
on bdeaed6 help sign in
bdeaed6Deprecate flatten.Matus Tejiscak 0544ce9Rename `flatten` to `join`.Matus Tejiscak 3851f59Add flatten to Monad.Matus Tejiscak 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 61f272cUpdated User Docs for new visibility modifiers.Jan de Muijnck-Hughes 0cbea4aMerge pull request #2939 from melted/fix_testingNiklas Larsson 5518fc3Merge pull request #2938 from projedi/stack-nix-osxNiklas Larsson 1c7680aOnly use IDRIS if there's actually such an executableNiklas Larsson d161f3dMerge pull request #2937 from melted/path_spacesNiklas Larsson 8a9ca44Added %auto_implicits directiveEdwin Brady