git.iko.soy/Idris-dev
on master help sign in
history off97602b..master
compare
5be5c84Delete obsoleted Data.WordBenjamin Saunders aa8aefdAdd missing comma in base.ipkgBenjamin Saunders 6e5c6cdAdd missing Binary cases for bitstring valuesBenjamin Saunders 95607a5Merge branch 'googleclosure' of https://github.com/raichoo/Idris-dev into raichoo-googleclosureEdwin Brady eca33c6Merge pull request #158 from raichoo/javascriptEdwin Brady 9174207Merge pull request #168 from bishboria/masterEdwin Brady 1893024Update tutorial/typesfuns.texStuart Gale 3c62143javascript: better print functionraichoo ca5660djavascript: move runtime into own namespaceraichoo c48896fjavascript: google closure fixesraichoo 043bc22StyleBenjamin Saunders 88e07aaClean up some redundancyBenjamin Saunders 41f3d97Merge branch 'master' of git://github.com/edwinb/Idris-dev into bitstringBenjamin Saunders 99ed1dbExtensive bitstring bugfixingBenjamin Saunders 94f7452Fix wrongly-typed 16-bit complement evaluatorBenjamin Saunders f907f8ajavascript: remove name from constructorsraichoo 3fdf1a0javascript: move runtime into own js fileraichoo c7829ffjavascript: fold modulesraichoo fe963e8Fixed byte counting math in bitstring codeBenjamin Saunders 48ffaaeUpdate cabal, increment version numberEdwin Brady 98a17bbjavascript: refactored FFI and added array operationsraichoo 1a57a4ajavascript: enhanced FFI (methods and mutations)raichoo 7d8b2c3javascript: added pointer for raw JS dataraichoo 0417eaeQuash warning on C bitstring comparatorsBenjamin Saunders dfb6802Remove unused utility functionBenjamin Saunders 3a68ffaMerge pull request #157 from luqui/masterEdwin Brady e26a119Correct codegen for bitstring complementsBenjamin Saunders 55c0609Correct truncation/extension and complement behavior for non-native bitstringsBenjamin Saunders 70aa358Removed the stack depth limit from Core.Evaluate.Luke Palmer 0d44c3fExtensive style and naming cleanupBenjamin Saunders 519e34fMerge pull request #153 from LeifW/monoid_maybe_castingEdwin Brady a601cc6Merge pull request #155 from raichoo/javascriptEdwin Brady 0fef623Truncation in similar spiritBenjamin Saunders ba4a50cSign-extension in similar spiritBenjamin Saunders 19950e4Embarassingly unsafe zero-extensionBenjamin Saunders 65b6dbdSimplify some type signaturesBenjamin Saunders bee324cFix ashr behavior on non-native bitfield widthsBenjamin Saunders 601f694Defined complement operator for bitfieldsBenjamin Saunders c663f57javascript: string lengthraichoo 482a723javascript: satisfy hlintraichoo 2cf42b5javascript: added char conversionsraichoo 1dc8f39added LChInt LIntCh to primitivesraichoo c1420f0javascript: more name fixesraichoo 8e95553javascript: removed redundant anonymous functionraichoo 9b75fadjavascript: added more primitivesraichoo 3267cadjavascript: big integersraichoo a6ed7c3javascript: got rid of --javascript use --targetraichoo 45adecejavascript: added more typesraichoo ba9b358javascript: pattern guards for typematchingraichoo 2d8357djavascript: shorter namesraichoo