git.iko.soy/Idris-dev
on 6e9ae3e help sign in
6e9ae3eAdd benchmark pidigitsSebastian de Bellefon 20b02c5Merge pull request #1547 from david-christiansen/pprint-commandDavid Christiansen b7010b2New command :pprint for outputting paper/slide bitsDavid Raymond Christiansen 38fd2b0Merge pull request #1544 from david-christiansen/pprint-printdefDavid Christiansen 9fa6e53Merge pull request #1543 from david-christiansen/pprint-printdefDavid Christiansen 394aac1Nicer-looking disambiguation in :printdefDavid Raymond Christiansen fe8927cIDE support for :printdefDavid Raymond Christiansen 6de02daSupport constructors in :printdefDavid Raymond Christiansen b18d56eAdd :printdef support for datatype definitionsDavid Raymond Christiansen 1305e3aVastly improve pretty-printing of definitions in :printdefDavid Raymond Christiansen 4d85599Improve pretty-printing of "let"David Raymond Christiansen d63c212Merge pull request #1542 from david-christiansen/changelog-updatesDavid Christiansen c629b60Add a test for compiler filename warningsDavid Raymond Christiansen e8aca59Make compiler filename warning use output commandsDavid Raymond Christiansen f97784dMerge branch 'master' of github.com:Helkafen/Idris-dev into Helkafen-masterDavid Raymond Christiansen fbd4021Add backend notes to CHANGELOGDavid Raymond Christiansen 66f2d5aMerge branch 'master' of github.com:markuspf/Idris-dev into markuspf-masterDavid Raymond Christiansen 8cc769bMerge pull request #1541 from david-christiansen/pprint-more-annotsDavid Christiansen ba0b525Pretty-printing of implicit args to (=)David Raymond Christiansen 497caf0Make output from :t name annotate with termsDavid Raymond Christiansen c26f9aeMerge pull request #1540 from edwinb/masterEdwin Brady 8751795Remove papers directoryEdwin Brady 7572017Merge branch 'markuspf-negate'David Raymond Christiansen 9b51ca6CHANGELOG and doc updates for unary negationDavid Raymond Christiansen 35d9a24Remove commented-out code.David Raymond Christiansen 6359721Add test for new float primitive prim__negFloatMarkus Pfeiffer af2fb53Rename float negation primitive for more uniformityMarkus Pfeiffer 0ca4a55Add support for the primitive prim__negFloat : Float -> FloatMarkus Pfeiffer 259f544Make unary "-" use the Neg typeclassMarkus Pfeiffer d5db232Rename the Negatable class to NegMarkus Pfeiffer baeaf1cIntroduce class NegatableMarkus Pfeiffer 874a5f2Add test for new float primitive prim__negFloatMarkus Pfeiffer fb2c6eaRename float negation primitive for more uniformityMarkus Pfeiffer e1371f7Add support for the primitive prim__negFloat : Float -> FloatMarkus Pfeiffer a557fc8Make unary "-" use the Neg typeclassMarkus Pfeiffer 9562e0cRename the Negatable class to NegMarkus Pfeiffer bfa343cIntroduce class NegatableMarkus Pfeiffer f40f8d8Make sure we use the official version of idris-llvm for testingMarkus Pfeiffer 8adcb0aOnly build llvm backend if testing llvmMarkus Pfeiffer de45d29Adapt travis testingMarkus Pfeiffer 674b58fFactor out LLVM backendMarkus Pfeiffer 52f8587Prevent REPL from compiling to source fileSebastian de Bellefon f50a883Merge pull request #1528 from bmsherman/cabalUpperBounds2Edwin Brady 3725081Remove Cabal library dependency and add more upper boundsbmsherman 29b4d1aMerge pull request #1525 from bmsherman/searchAnnotationDavid Christiansen 0d2a187Add upper bounds to cabal package dependencies.bmsherman 7ce4d90Add annotations for :search result classificationbmsherman 0ffc92aMerge pull request #1523 from edwinb/ibc-fixEdwin Brady 323a109Use exact name lookup when building from ibcEdwin Brady 782c945Merge pull request #1522 from soimort/patch-typo-fixDavid Christiansen