git.iko.soy/Idris-dev
on master help sign in
history of37845e4..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 d54064fEvaluator access in Elab scriptsDavid Raymond Christiansen a3db741Add Quotable Raw Raw instanceDavid Raymond Christiansen 3b90559Indicate constructor fields vs parameters in ElabDavid Raymond Christiansen ff5b230Fixes to Logging effectJan de Muijnck-Hughes 9562ae8Fixed namespace issue with Default Logging EffectJan de Muijnck-Hughes 59f7f98Effectful Logging.Jan de Muijnck-Hughes