git.iko.soy/Idris-dev
on master help sign in
history ofb538db9..master
compare
7fe42e0Merge pull request #2470 from benjamin-hodgson/2460_multipleFieldsNiklas Larsson f25976dRevert "Allow an optional trailing comma in `commaSeparated`"Benjamin Hodgson f5e56a6typo when correcting typoworldsayshi b6fd663added multi line strings doc and fixed typoworldsayshi af79c58Merge pull request #2484 from melted/opsNiklas Larsson ebf7a76Slightly less annoying name choiceEdwin Brady b49c2fdBetter display of classes in makeLemmaEdwin Brady a26562aSync the documentation with opChars in ParseHelpers.hsNiklas Larsson 1b96024Add a couple of convenience functions in Data.VectEdwin Brady 874ac98Allow empty instance declarations in mutual blocksEdwin Brady e8b7737Merge pull request #2482 from david-christiansen/issue/2481David Christiansen 56869f6Properly reify reflected character constantsDavid Raymond Christiansen 0e7c076Normalise types before detecting parametric argsEdwin Brady 80a2ceeA few prelude functions/castsEdwin Brady 51bbaf9Merge pull request #2480 from jeremy-w/jeremy-w/correct-mathsing-to-testingJan de Muijnck-Hughes c157e07Merge pull request #2478 from jeremy-w/jeremy-w/updates-bst-module-reference-to-BtreeJan de Muijnck-Hughes 21903a4Merge pull request #2477 from jeremy-w/jeremy-w/removes-early-splitAtJan de Muijnck-Hughes d03e2b0Rewrite "mathsing" to "testing"Jeremy W. Sherman 0b8f521Capitalize module name to match code sampleJeremy W. Sherman 3ad394eUpdate module name to |Btree| to match code sampleJeremy W. Sherman 61fcd57Remove |splitAt| from let-binding sectionJeremy W. Sherman 5339208Merge pull request #2476 from athanclark/patch-1Niklas Larsson 7fca841Fixing typoAthan Clark b89ea52Merge pull request #2473 from xged/unlinesNiklas Larsson b659ab8Add functions , to Prelude.Stringxged 856d62dAllow an optional trailing comma in `commaSeparated`Benjamin Hodgson 9a9b797Add documentation for #2460Benjamin Hodgson f1e8a4dMultiple record fields on one line (#2460)Benjamin Hodgson ffb7946Merge pull request #2469 from lenary/add-stackNiklas Larsson 54e4e41Merge pull request #2468 from benjamin-hodgson/patch-1Niklas Larsson 740d82dDisplay normalised types on :t for expressionsEdwin Brady bf52728Normalise local variable types in metavariablesEdwin Brady b6d0eacAdd Stackage Configuration for easy buildingSam Elliott 0fed832Add WHNF to Elab reflectionDavid Raymond Christiansen 3c5327fMerge branch 'master' into wip/tacticalDavid Raymond Christiansen 37845e4Fix Multiplicative/Additive docsBenjamin Hodgson d54064fEvaluator access in Elab scriptsDavid Raymond Christiansen a3db741Add Quotable Raw Raw instanceDavid Raymond Christiansen 3b90559Indicate constructor fields vs parameters in ElabDavid Raymond Christiansen 6b062beMerge pull request #2466 from melted/doc_opNiklas Larsson fc4b908List unavailable operatorsNiklas Larsson dda41afMerge pull request #2463 from melted/cgoptionsNiklas Larsson a24c7d4Finish WHNF for operatorsEdwin Brady 89566a8Finish WHNF implementation for case treesEdwin Brady 64df5f6Added WHNF moduleEdwin Brady 570a452Reword disambiguation error messageEdwin Brady f5bff01Pass parameters to codegens with new cmdoption --cg-optNiklas Larsson 60f85efMerge pull request #2462 from melted/helpNiklas Larsson 632ff47Update codegen option help textNiklas Larsson cd4e91dMerge pull request #2461 from melted/issue_1134Niklas Larsson