aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Re-named "jvm-import" to "import".Eduardo Julian2017-09-086-36/+36
* - Changed the code examples for JVM interop macros.Eduardo Julian2017-09-051-60/+22
* - Added polytypic JSON codec support for unit-types.Eduardo Julian2017-09-051-2/+20
* - Renamed bitwise right-shifting functions.Eduardo Julian2017-09-056-29/+26
* - Simplified code for JSON format.Eduardo Julian2017-09-044-399/+364
* - Simple types are no longer matched by their names, but by the types themsel...Eduardo Julian2017-09-044-39/+39
* - $_ and _$ macros now handle better "operator" code that is a form. e.g.Eduardo Julian2017-09-041-6/+12
* - Renamed "Log" to "Writer".Eduardo Julian2017-09-041-15/+15
* - Implemented network I/O for TCP and UDP (in the JVM).Eduardo Julian2017-09-043-0/+234
* - Re-named "real" numbers to "frac"(tions).Eduardo Julian2017-09-0420-417/+417
* - Added HTML-generation module.Eduardo Julian2017-08-302-0/+145
* - Small fixes and refactorings.Eduardo Julian2017-08-221-1/+1
* - Improved naming convention for quotient types.Eduardo Julian2017-08-221-4/+4
* - Added context/config variables, and their parsers (a.k.a. properties).Eduardo Julian2017-08-222-0/+81
* - Implemented a file-system library.Eduardo Julian2017-08-221-0/+120
* - Implemented a blob (binary large object) library.Eduardo Julian2017-08-221-0/+138
* - Small refactorings.Eduardo Julian2017-08-212-7/+26
* - Added module for color computations.Eduardo Julian2017-08-211-0/+306
* - Renamed "model" to "opaque".Eduardo Julian2017-08-216-37/+37
* - "program:" now evaluates its body within an implicit IO monad.Eduardo Julian2017-08-195-30/+49
* - Small refactorings and fixes.Eduardo Julian2017-08-103-65/+124
* - Added poly/eq support for time types and unit types.Eduardo Julian2017-08-061-34/+49
* - Moved "codec" from lux/data/text/lexer to lux/control/parser.Eduardo Julian2017-08-057-27/+26
* - Now, spaces automatically remove dead subscriptions after discovering them.Eduardo Julian2017-08-031-19/+25
* - Implemented Agent-Oriented Programming.Eduardo Julian2017-08-031-0/+150
* - Some refactoring and small bug fixes.Eduardo Julian2017-08-031-108/+121
* - Re-implemented polytypic matchers in terms of lux/control/parser.Eduardo Julian2017-08-025-623/+615
* - Removed polytipic text-encoders.Eduardo Julian2017-08-015-490/+146
* - Broken down lux/data/format/json module into smaller family of modules.Eduardo Julian2017-08-014-893/+735
* - Added formatters for JSON, XML and time types.Eduardo Julian2017-07-318-143/+147
* - Extended duration and date with Order and Codec implementations.Eduardo Julian2017-07-312-2/+209
* - Fixed a bug when calculating the month of a date.Eduardo Julian2017-07-291-1/+1
* - Added more structures for instants and dates.Eduardo Julian2017-07-292-17/+179
* - Added Eq, Order and Enum structures for unit types.Eduardo Julian2017-07-291-1/+25
* - Re-implemented Tainted using models.Eduardo Julian2017-07-292-25/+26
* - Added Functor, Applicative and Monad implementations for Lazy.Eduardo Julian2017-07-291-3/+22
* - Fuxed a bug when generating module code, where the type-vars were not getti...Eduardo Julian2017-07-291-1/+1
* - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to lux/data/...Eduardo Julian2017-07-292-33/+34
* - Added "month" function and improved "day" function.Eduardo Julian2017-07-291-5/+12
* - Small improvement to overlap testing for intervals.Eduardo Julian2017-07-291-16/+16
* - Added annotation support to units and models.Eduardo Julian2017-07-292-2/+7
* - Added dates, and the capacity to calculate week-days.Eduardo Julian2017-07-262-44/+119
* - Improved re-scaling logic and added some SI units.Eduardo Julian2017-07-251-14/+26
* - Added units of measurement as a feature to decorate Int values for safer ca...Eduardo Julian2017-07-251-0/+143
* - Models now only rely on normal (inline) casting functions. Hopefully, in th...Eduardo Julian2017-07-251-16/+8
* - No longer defining hidden casting functions. Instead, inline functions are ...Eduardo Julian2017-07-241-35/+18
* - Refactored Time into Instant and Duration.Eduardo Julian2017-07-243-125/+202
* - Added models as a mechanism to encode nominal types.Eduardo Julian2017-07-241-0/+188
* - Relocated the "object" and "concatenative" modules.Eduardo Julian2017-07-232-4/+5
* - Codec now works on negative times (with respect to the epoch).Eduardo Julian2017-07-231-12/+14