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