| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | - Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres... | Eduardo Julian | 2018-07-03 | 5 | -29/+29 |
| * | - Re-named ":!" to ":coerce". | Eduardo Julian | 2018-07-03 | 1 | -8/+8 |
| * | - Re-named ":!!" to ":assume". | Eduardo Julian | 2018-07-03 | 1 | -1/+1 |
| * | - Minor refactorings. | Eduardo Julian | 2018-06-14 | 1 | -1/+1 |
| * | - Re-named "Top" to "Any", and "Bottom" to "Nothing". | Eduardo Julian | 2018-05-20 | 7 | -40/+40 |
| * | - Added new #I64 type as foundation for types based on 64-bit integers. | Eduardo Julian | 2018-05-13 | 3 | -9/+9 |
| * | - Re-named "lux process concurrency-level" to "lux process parallelism-level". | Eduardo Julian | 2018-05-08 | 1 | -18/+22 |
| * | - Removed Void and Unit as kinds of types. | Eduardo Julian | 2018-05-05 | 6 | -29/+29 |
| * | - Changed the syntax for the parameters of "syntax:". | Eduardo Julian | 2018-05-02 | 2 | -8/+11 |
| * | - Made the names of all exceptions lower-case. | Eduardo Julian | 2018-05-02 | 1 | -5/+5 |
| * | - Re-named "Applicative" to "Apply". | Eduardo Julian | 2018-05-02 | 4 | -8/+8 |
| * | - Moved the "wrap" function into Monad, and removed Applicative from Monad's ... | Eduardo Julian | 2018-05-02 | 4 | -22/+21 |
| * | - Improved the syntax for the "lux.function" macro. | Eduardo Julian | 2018-04-05 | 5 | -33/+35 |
| * | - Re-named "is" to "is?". | Eduardo Julian | 2018-04-05 | 1 | -6/+6 |
| * | - Improved the way exceptions work. | Eduardo Julian | 2018-02-07 | 2 | -9/+13 |
| * | - Implemented semaphores, mutexes and barriers. | Eduardo Julian | 2018-01-30 | 4 | -15/+168 |
| * | - Small refactorings. | Eduardo Julian | 2018-01-03 | 2 | -10/+12 |
| * | - Agent-based concurrency is just actors listening to FRP channels, so specia... | Eduardo Julian | 2017-12-12 | 1 | -154/+0 |
| * | - FRP channels are no longer asynchronously-built lists, but rather mediums f... | Eduardo Julian | 2017-12-12 | 2 | -313/+105 |
| * | - Some minor refactoring. | Eduardo Julian | 2017-12-10 | 3 | -146/+158 |
| * | - Some minor refactoring. | Eduardo Julian | 2017-12-10 | 3 | -161/+131 |
| * | - No longer deleting type-vars in luxc, to better match it with the type-chec... | Eduardo Julian | 2017-12-04 | 4 | -66/+48 |
| * | - "gensym" went back to producing Code, instead of Ident. | Eduardo Julian | 2017-12-02 | 1 | -22/+22 |
| * | - Added context-sensitive macro-expansion by means of "lux in-module", and re... | Eduardo Julian | 2017-12-02 | 6 | -25/+19 |
| * | - Changed some of the syntax for macro templating. | Eduardo Julian | 2017-12-01 | 2 | -37/+37 |
| * | - Re-named lux/type/opaque to lux/type/abstract. | Eduardo Julian | 2017-11-29 | 1 | -5/+5 |
| * | - Changed the identifier separator, from the semi-colon (;) to the period/dot... | Eduardo Julian | 2017-11-29 | 7 | -459/+458 |
| * | - Got rid of even more dots. | Eduardo Julian | 2017-11-27 | 5 | -11/+11 |
| * | - Changed the prefixes of numeric functions. | Eduardo Julian | 2017-11-27 | 4 | -8/+8 |
| * | - Changed to the new relative imports syntax. | Eduardo Julian | 2017-11-26 | 2 | -2/+2 |
| * | - Fixed some bugs. | Eduardo Julian | 2017-11-22 | 2 | -8/+20 |
| * | - Fixed some bugs. | Eduardo Julian | 2017-11-21 | 2 | -30/+21 |
| * | - Added parallel compilation. | Eduardo Julian | 2017-11-20 | 4 | -54/+40 |
| * | - Re-named "lux/meta" to to "lux/macro". | Eduardo Julian | 2017-11-15 | 6 | -26/+26 |
| * | - Moved "/type/*" to from "lux/meta/" to "lux/". | Eduardo Julian | 2017-11-15 | 1 | -2/+2 |
| * | - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang". | Eduardo Julian | 2017-11-15 | 1 | -14/+14 |
| * | - Changed how Lux procedures work on the old compiler and the stdlib. | Eduardo Julian | 2017-11-06 | 2 | -9/+9 |
| * | - Re-named "Host" to "Primitive". | Eduardo Julian | 2017-10-20 | 1 | -1/+1 |
| * | - Re-named "Lux" type to "Meta". | Eduardo Julian | 2017-10-16 | 6 | -30/+30 |
| * | - Re-named "Result" type back to "Error". | Eduardo Julian | 2017-10-16 | 1 | -15/+15 |
| * | - Re-named lux/control/parser;opt to lux/control/parser;maybe. | Eduardo Julian | 2017-10-16 | 1 | -4/+4 |
| * | - Eliminated the Anns and Ann-Value types, and now only using Code for defini... | Eduardo Julian | 2017-10-11 | 1 | -1/+1 |
| * | - Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident... | Eduardo Julian | 2017-09-19 | 2 | -2/+2 |
| * | - Some refactoring. | Eduardo Julian | 2017-09-19 | 4 | -16/+16 |
| * | - Renamed "model" to "opaque". | Eduardo Julian | 2017-08-21 | 1 | -5/+5 |
| * | - "program:" now evaluates its body within an implicit IO monad. | Eduardo Julian | 2017-08-19 | 2 | -14/+26 |
| * | - Now, spaces automatically remove dead subscriptions after discovering them. | Eduardo Julian | 2017-08-03 | 1 | -19/+25 |
| * | - Implemented Agent-Oriented Programming. | Eduardo Julian | 2017-08-03 | 1 | -0/+150 |
| * | - Some refactoring and small bug fixes. | Eduardo Julian | 2017-08-03 | 1 | -108/+121 |
| * | - Removed the "M" suffix from monadic functions. | Eduardo Julian | 2017-07-22 | 3 | -7/+7 |
