git.iko.soy/Idris-dev
on 0a96c6f help sign in
0a96c6fFix views tests on node backendEdwin Brady a39a3ddAdd Filtered view on listsEdwin Brady 8d78d32Add some Quotable implementations (#3104)Melvar Chen 3408098Tidy up accessibility proofs in viewsEdwin Brady d7b7e25Add Data.Nat.Views to baseEdwin Brady 4079f54Use bit-pattern identity for DoubleDavid Christiansen 89401f2Disable views001 for javascriptNiklas Larsson 3397d30Diable views001 for javascriptNiklas Larsson 4e762eeSome debug infoEdwin Brady 8705d0fAdded SnocList view, and a testEdwin Brady c325e23Added Data.List.ViewsEdwin Brady 87fb53aMove Accessible to PreludeEdwin Brady 7d0fd03Replace EffElem with Data.List.ElemEric Weinstein e2616edMerge pull request #3097 from ahmadsalim/bug/typeclassinterfaceerrormsgAhmad Salim Al-Sibahi 1726bf9Changed type classes in error messages and documentation to interfaces where necessary (previously forgotten)Ahmad Salim Al-Sibahi 6f6b894Merge pull request #3095 from jfdm/bump-stackJan de Muijnck-Hughes 1435096Bumped stack to latest version 5.11Jan de Muijnck-Hughes 1599242Merge pull request #3092 from jfdm/installable-manpagesJan de Muijnck-Hughes 129b7d3Fix #1957 Make man page installable.Jan de Muijnck-Hughes 7f21388Merge pull request #3091 from ahmadsalim/fix/dsym-gitignoreAhmad Salim Al-Sibahi b359c3fMerge branch 'master' of https://github.com/idris-lang/Idris-dev into fix/dsym-gitignoreAhmad Salim Al-Sibahi 5134aebBetter support for mutually defined typesEdwin Brady d13d6b3Get the names of the Bit types right!Edwin Brady 6c4074bExport Bits types as C functionsEdwin Brady 1036f29Merge pull request #3087 from ericqweinstein/fix/master/networkEdwin Brady 1368cb3Fix CHANGELOF formattingEdwin Brady e105606Add missing details to CHANGELOGEdwin Brady 4a177a3Add missing test file (sorry!)Edwin Brady ff2033aAdded *.dSYM to .gitignore since it is generated by a test on macAhmad Salim Al-Sibahi ab385cdGenerate rewriting lemmas for data typesEdwin Brady 40182daModify the way of finding rewriting lemmaEdwin Brady b66865fReinstate checking of rewrite result typeEdwin Brady b92f7acNew implementation of rewriteEdwin Brady 33a08b9Merge pull request #3086 from jfdm/deprecate-project-outputJan de Muijnck-Hughes 4de5a73Deprecate the `MavenProject` output option.Jan de Muijnck-Hughes 546d22cMerge pull request #3076 from jfdm/make-ibcsubdir-work-for-ipkgsJan de Muijnck-Hughes 64899cfSmall naming changes to the IdrisNet.Socket module.Eric Weinstein 6076be4Merge pull request #3085 from david-christiansen/ttname-deceqDavid Christiansen a2dc0f2Fix %freeze when names are ambiguousEdwin Brady 46f94c1Implement DecEq TTNameDavid Christiansen 0c517d6Fixes #499 allowing packages to be installed to custom location.Jan de Muijnck-Hughes 7daba78Merge pull request #3084 from jfdm/fix-formatting-of-changelogJan de Muijnck-Hughes 3e0b8adHarmonisation of formatting for CHANGELOG.Jan de Muijnck-Hughes cdfb84eMerge pull request #3081 from melted/load_perfNiklas Larsson 09a18bfMerge pull request #3079 from jfdm/fix-cli-help-for-hardware-optsJan de Muijnck-Hughes 4f34b2aAdd getEntry to each processing functionNiklas Larsson 838cc38Generalise help messages for Hardware Specific Options.Jan de Muijnck-Hughes bb4a84bMerge pull request #3074 from jfdm/remove-old-thingsJan de Muijnck-Hughes c7bac29Extended syntax for 'with' blocksEdwin Brady 2b79682Prettify Formating of `CmdOptions.hs`.Jan de Muijnck-Hughes