../ 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 Char.jsRename libraries, dropping prefixes. This probably introduces some bugs.14 years ago Everything.jsRename libraries, dropping prefixes. This probably introduces some bugs.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 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