../ Graphics/And a few more places with bad throws.14 years ago Signal/Change name of `WebSocket.send` to `WebSocket.open`.14 years ago collage/Switch how colors are defined (Ints instead of Floats) and add four colors (grey, yellow, magenta, cyan).14 years ago foreign/Changed type signature of JSON.fromString; added multiplayer mario example14 years ago runtime/Remove some silly comments that Google Closure had me put in.14 years ago Automaton.jsFix some more places where strings were thrown rather than Error().14 years ago Char.jsUpdates to get rid of closure compiler errors.14 years ago Date.jsRemove `Date.every` and change `weekday` into `dayOfWeek`.14 years ago Dict.jsFix some more places where strings were thrown rather than Error().14 years ago Either.jsAdd Either library, change Maybe API, and add tap to Touch library.14 years ago Guid.jsUpdates to get rid of closure compiler errors.14 years ago List.jsAnd a few more places with bad throws.14 years ago Maybe.jsAdd Either library, change Maybe API, and add tap to Touch library.14 years ago Prelude.jsAnd a few more places with bad throws.14 years ago Set.jsUpdates to get rid of closure compiler errors.14 years ago String.jsGet rid of overriding JavaScript's String class.14 years ago Text.jsUpdates to get rid of closure compiler errors.14 years ago Value.jsMake records faster using `in` and `Object.create` and profiling. I was seeing improvements of 6 or 7x for individual operations.14 years ago cat.batAttempt a WebSockets library.14 years ago cat.shChanged type signature of JSON.fromString; added multiplayer mario example14 years ago