aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* - Re-named "jvm-import" to "import".Eduardo Julian2017-09-0821-106/+106
|
* - Replaced the term "total" with "exhaustive".Eduardo Julian2017-09-073-51/+51
|
* - Added more tests for pattern-matching analysis.Eduardo Julian2017-09-071-19/+68
|
* - Added optional "char" syntax for nats.Eduardo Julian2017-09-052-5/+55
|
* - Added alternative syntax for Frac numbers, based on traditional ↵Eduardo Julian2017-09-053-42/+108
| | | | ratio/fraction syntax.
* - 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-055-45/+86
|
* - Added tests for lux/math/random.Eduardo Julian2017-09-052-1/+56
|
* - Renamed bitwise right-shifting functions.Eduardo Julian2017-09-057-31/+28
|
* - Updated new compiler's code to the recent changes in the language.Eduardo Julian2017-09-0543-448/+790
| | | - WIP: Some other changes/additions to the new compiler.
* - Now using strict floating point math on the JVM.Eduardo Julian2017-09-042-12/+14
|
* - Simplified code for JSON format.Eduardo Julian2017-09-045-405/+369
| | | - Moved JSON polytypism to the lux/macro/poly/* branch.
* - Simple types are no longer matched by their names, but by the types ↵Eduardo Julian2017-09-044-39/+39
| | | | themselves.
* - $_ and _$ macros now handle better "operator" code that is a form. e.g.Eduardo Julian2017-09-041-6/+12
| | | ($_ (::: +) 1 2 3) => (::: + 1 (::: + 2 3)) instead of ((::: +) 1 ((::: +) 2 3))
* - Renamed "Log" to "Writer".Eduardo Julian2017-09-043-27/+27
|
* - Implemented network I/O for TCP and UDP (in the JVM).Eduardo Julian2017-09-046-1/+377
|
* - Re-named "real" numbers to "frac"(tions).Eduardo Julian2017-09-0453-748/+747
|
* - Added HTML-generation module.Eduardo Julian2017-08-303-3/+154
| | | - Added CSS-generation module.
* - Integrated documentation into the main repo (powered by mkdocs).Eduardo Julian2017-08-275-3/+619
|
* - Small fixes and refactorings.Eduardo Julian2017-08-222-2/+3
|
* - Added array operations for primitive arrays.Eduardo Julian2017-08-222-0/+32
|
* - 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
| | | - Added a way to obtain a program's environment variables.
* - Implemented a file-system library.Eduardo Julian2017-08-222-0/+282
|
* - Implemented a blob (binary large object) library.Eduardo Julian2017-08-222-0/+245
|
* - Small refactorings.Eduardo Julian2017-08-213-9/+28
|
* - Added module for color computations.Eduardo Julian2017-08-212-0/+402
|
* - Renamed "model" to "opaque".Eduardo Julian2017-08-217-38/+38
|
* - "program:" now evaluates its body within an implicit IO monad.Eduardo Julian2017-08-195-30/+49
| | | | | - Fixed a bug with the types of actors and messages. - Added Functor for queues. - Small refactorings and fixes.
* - 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
|
* - Added "on:" syntax for spaces.Eduardo Julian2017-08-031-2/+2
|
* - Now, spaces automatically remove dead subscriptions after discovering them.Eduardo Julian2017-08-031-19/+25
|
* - Implemented Agent-Oriented Programming.Eduardo Julian2017-08-033-0/+175
|
* - 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-027-640/+627
|
* - Removed polytipic text-encoders.Eduardo Julian2017-08-017-546/+147
| | | - Simplified a lot of polytypism.
* - Broken down lux/data/format/json module into smaller family of modules.Eduardo Julian2017-08-015-928/+769
| | | - Re-implemented JSON parsing in terms of lux/control/parser.
* - Added formatters for JSON, XML and time types.Eduardo Julian2017-07-319-144/+148
|
* - Extended duration and date with Order and Codec implementations.Eduardo Julian2017-07-314-6/+268
|
* - 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-295-18/+278
|
* - Added Eq, Order and Enum structures for unit types.Eduardo Julian2017-07-291-1/+25
|
* - Re-implemented Tainted using models.Eduardo Julian2017-07-293-26/+28
|
* - Added Functor, Applicative and Monad implementations for Lazy.Eduardo Julian2017-07-292-8/+57
|
* - Fuxed a bug when generating module code, where the type-vars were not ↵Eduardo Julian2017-07-291-1/+1
| | | | getting included in the synthesized #;Host type.
* - Renamed "Thunk" to "Lazy", and moved it from lux/control/thunk to ↵Eduardo Julian2017-07-295-57/+58
| | | | lux/data/lazy.
* - 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 22:58:26 +0000