../ Graphics/Rename libraries, dropping prefixes. This probably introduces some bugs.14 years ago Signal/Rename libraries, dropping prefixes. This probably introduces some bugs.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/Rename libraries, dropping prefixes. This probably introduces some bugs.14 years ago runtime/Rename libraries, dropping prefixes. This probably introduces some bugs.14 years ago Automaton.jsInclude Automaton, Dict, and Set in the RTS.14 years ago Char.jsRename libraries, dropping prefixes. This probably introduces some bugs.14 years ago Dict.jsInclude Automaton, Dict, and Set in the RTS.14 years ago Guid.jsAdd all core JavaScript libraries.15 years ago List.jsRename libraries, dropping prefixes. This probably introduces some bugs.14 years ago Maybe.jsRename libraries, dropping prefixes. This probably introduces some bugs.14 years ago Prelude.jsRename libraries, dropping prefixes. This probably introduces some bugs.14 years ago Set.jsInclude Automaton, Dict, and Set in the RTS.14 years ago String.jsRename libraries, dropping prefixes. This probably introduces some bugs.14 years ago Text.jsRename libraries, dropping prefixes. This probably introduces some bugs.14 years ago Value.jsRename libraries, dropping prefixes. This probably introduces some bugs.14 years ago cat.batRename libraries, dropping prefixes. This probably introduces some bugs.14 years ago