git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofidris.cabal
all commits
7a0f64dUpdate version number ready for upcoming releaseEdwin Brady f33ce93Add Hash tests files to cabalSebastian de Bellefon 9d1d508Merge pull request #1585 from RyanGlScott/masterEdwin Brady 7a30e5dEnabled reg052 in travis and update its outputEdwin Brady d9b4c4cFix for optparse-applicative breaking changeRyanGlScott 37748ceAdd transformation rules for partial evaluationEdwin Brady 840c2ccMerge pull request #1556 from Helkafen/masterDavid Christiansen f10fcd2Add interactive006 in Extra-source-filesSebastian de Bellefon 80a2913Merge branch 'master' of https://github.com/idris-lang/Idris-dev into fix/master/arduinostepcut 674b58fFactor out LLVM backendMarkus Pfeiffer 3725081Remove Cabal library dependency and add more upper boundsbmsherman 0d2a187Add upper bounds to cabal package dependencies.bmsherman 80238b4Merge remote-tracking branch 'upstream/master'David Raymond Christiansen ae55c56Fix for language-java 0.2.7RyanGlScott e0f815aAdd test for basic REPL commandsMichael Maloney 73c481dfix compatibility with optparse-applciative 0.10 - the `option` API is changed - `execParserMaybe` is deprecatedsuhorng 8fadb31Update version number for CUFP releasev0.9.14.2Edwin Brady 727b6a9Merge pull request #1486 from edwinb/nulltypeEdwin Brady c55895dFix universe errors, update testsEdwin Brady f905a79javascript: lift out node backendraichoo 31de6bejavascript: lift out javascript backendraichoo 75783a6Fix rules for checking Borrowed typesEdwin Brady bc2bcb6Add Borrowed typesEdwin Brady e30ff97Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 8353de5Find updatable constructors after destructive caseEdwin Brady 2aaff41Stop erasing binder types in executorDavid Raymond Christiansen ddced5cStore parameters in function typesEdwin Brady c6574b4Added idris-c executableEdwin Brady c578372Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady a9dd2e4Lift out proof term into a separate moduleEdwin Brady e3be67aBump upper bound on parsers dependencyJohn Wiegley 8407c27Update version numberv0.9.14.1Edwin Brady 0c96d97Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady c72d0f4Split elaborator into multiple source filesEdwin Brady 5d25ac8Add regression test for operators starting with "!"Melvar Chen 816e85bReinsert check for constructor/family mismatch.David Raymond Christiansen 84b172aAdd tactics "skip" and "fail"David Raymond Christiansen 34f63d4Merge remote-tracking branch 'upstream/master' into fix/master/arduinostepcut 58eed03Added rts/arudino/idris_main.c. It is similar to the standard idris_main.c except it does not attempt to handle argv/argc and it also calls the Arduino init() function.stepcut 86ec4a1New regression testEdwin Brady d8dd5d5Update version numberEdwin Brady 6b5a120Remove neweffects from cabalEdwin Brady a50224djavascript: factor AST into own moduleraichoo 9cd2dfbUpdate tests for rechecking of quasiquotesDavid Raymond Christiansen 8ed343bRemove dodgy unification hackEdwin Brady dac312bAdd goal types to quasiquotes.David Raymond Christiansen e08a18dMerge remote-tracking branch 'refs/remotes/upstream/master' into quasiquoteDavid Raymond Christiansen 86b1a78Merge pull request #1327 from melted/nocabalEdwin Brady e1ef65dUse a priority queue to improve performance when matching types in :searchbmsherman 9a3082bAdd simple test for quasiquotationsDavid Raymond Christiansen