git.iko.soy/Idris-dev
on 1a30718 help sign in
1a30718Update READMEMarkus Pfeiffer d99ce6eAdapt README to reflect the current state of code generators.Markus Pfeiffer 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 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 b46ba07Fix typo in help message (language extension)Mort Yao 80238b4Merge remote-tracking branch 'upstream/master'David Raymond Christiansen 0a6feb1Merge branch 'RyanGlScott-master'David Raymond Christiansen bc0af86Install newer alex from Hackage for testsDavid Raymond Christiansen aa4702dMerge pull request #1510 from soimort/uniqueness-executeDavid Christiansen 99fe3e8Merge pull request #1511 from tac-tics/basic-repl-testDavid Christiansen ae55c56Fix for language-java 0.2.7RyanGlScott e0f815aAdd test for basic REPL commandsMichael Maloney 0200b44Support uniqueness types when executing IO actions in REPLMort Yao 52407a9Merge pull request #1509 from david-christiansen/patdefs-cmdsDavid Christiansen 893b980Add :printdef command to show the definition of a pattern-matching operationDavid Raymond Christiansen