git.iko.soy/elk
on ecc49ca help sign in
ecc49caSplit the alias code into its own file. Add checks for duplicate definitions, bad order of definitions, and type aliases without enough argumentsevancz 2bfe9caAllow record extension in types.evancz 67503ceAdd dealiasing for Stringsevancz b2a7bd1Implement type aliases.evancz 1848c95Allow type annotations for infix operators.evancz e0b7d26Add some type annotations to Automaton.elmevancz 55b3d39Correct the associativity of (::) and ensure that JS is generated properly for (::).evancz 6b2b19dAdd type annotations to the Dict library to test functionality and speed of type annotations. Shows dramatic speed improvement!evancz 7d50769Make type annotations work properly. Refactor such that they speed up type checking dramatically.evancz 0ec1cf3Switch to the new cons (::) in parse library.evancz 021a27cAdd support for type annotations. Remaining bugs include `String` is not de-aliased and uses of the cons operator have not yet been switched over to the new (::) syntax.evancz b4dba5fMigrate type annotations to more JS files.evancz edb65fcAdd WebSockets and function composition to the change log.evancz 86f2e33Add support for using ∘ for function composition.evancz f788fd0Add `xor` and `findNumber` to the type hints.evancz 984e3b5Merge branch 'master' of https://github.com/evancz/Elmevancz 5fea39cMerge pull request #89 from johnpmayer/topic/JSON_and_MarioEvan Czaplicki be406f0local ignore fileJohn P Mayer Jr 40c1cfaChanged type signature of JSON.fromString; added multiplayer mario exampleJohn P Mayer Jr 5dadeeeFix the equality checker.evancz f15dbefSwitch away from `Object.create` which was actually extremely slow given the particular way it was used.evancz 51accf6Change name of `WebSocket.send` to `WebSocket.open`.evancz cd35719Merge branch 'master' of https://github.com/evancz/Elmevancz ea8ff38Make record extension more concise.evancz d0dad20Remove some silly comments that Google Closure had me put in.evancz 62b344cAttempt a WebSockets library.evancz 8795baeBegin adding some type annotations.evancz 6ec1178Merge pull request #82 from dobesv/patch-throwsEvan Czaplicki 30319a3And a few more places with bad throws.Dobes Vandermeer 258519aMerge branch 'master' of git://github.com/evancz/ElmDobes Vandermeer 99264a5Fix some more places where strings were thrown rather than Error().Dobes Vandermeer 3d1363cMake records faster using `in` and `Object.create` and profiling. I was seeing improvements of 6 or 7x for individual operations.evancz d027625Minify RTS and bump version number.evancz 0017e9fMake Pong more concise.evancz 17b104aUpdate to work with pandoc >= 1.10. Hopefully this is not another annoying change in which people cannot get 1.10 working on their machine.evancz da4b04eLatest RTSevancz a6709b8Fix silly error with `mergeEither`.evancz fb21e21Add xor to runtime.evancz 74d5270Remove extra parens! Was a parse error :|evancz 398ef59Add `xor` function.evancz cefe6f5Update runtime.evancz 83aa5c2Add type hints for new libraries, and fix the types of fps and fpsWhen.evancz d8f8bf5Ensure that touch listener is detached if it is not used.evancz 589a16cAdd the `mergeEither` signal and remove some dead code from Touch.js.evancz d2bc280Switch how ADT's are displayed. Should have no visible effect.evancz c5da283Add Either library, change Maybe API, and add tap to Touch library.evancz 7014d53Minify RTS and bump version number.evancz 2af5267Make Pong more concise.evancz db7e617Update to work with pandoc >= 1.10. Hopefully this is not another annoying change in which people cannot get 1.10 working on their machine.evancz 484e7abLatest RTSevancz