| Commit message (Expand) | Author | Files | Lines |
2019-06-18 | Implemented "hole" typing. | Eduardo Julian | 1 | -1/+1 |
2019-03-30 | Re-named "do-template" to "template". | Eduardo Julian | 1 | -2/+2 |
2019-03-13 | Replaced the digit separator in numbers from "_" to ",". | Eduardo Julian | 1 | -1/+1 |
2019-03-12 | Re-named ":extract" to ":by-example". | Eduardo Julian | 1 | -1/+1 |
2019-03-02 | Added the capacity to extract type-information from values to create new type... | Eduardo Julian | 1 | -1/+1 |
2019-02-03 | Added branding to capabilities to better differentiate between capabilities t... | Eduardo Julian | 1 | -1/+3 |
2019-01-30 | Tests are now first class. | Eduardo Julian | 1 | -1/+1 |
2019-01-24 | Added dynamic typing. | Eduardo Julian | 1 | -1/+3 |
2019-01-22 | - WIP: Expansion of CSS machinery. | Eduardo Julian | 1 | -1/+1 |
2019-01-08 | Small adjustments. | Eduardo Julian | 1 | -2/+5 |
2019-01-02 | Added macros for remembering things to the programmer based on deadlines. | Eduardo Julian | 1 | -1/+3 |
2018-12-09 | - Some refactoring. | Eduardo Julian | 1 | -1/+1 |
2018-12-09 | Basic implementation for sessions. | Eduardo Julian | 1 | -1/+1 |
2018-08-26 | Updated lux-mode. | Eduardo Julian | 1 | -2/+2 |
2018-08-23 | No more escaping of back-slash. | Eduardo Julian | 1 | -2/+1 |
2018-08-20 | - More minor optimizations. | Eduardo Julian | 1 | -3/+0 |
2018-08-20 | Fixed type in lux-mode. | Eduardo Julian | 1 | -1/+1 |
2018-07-28 | Adjusted lux-mode to the latest syntactic changes. | Eduardo Julian | 1 | -10/+17 |
2018-07-21 | Re-named "name-for" to "name-of". | Eduardo Julian | 1 | -1/+1 |
2018-07-21 | Re-named "Symbol" to "Identifier". | Eduardo Julian | 1 | -7/+6 |
2018-07-21 | Improved syntax-highlighting for Lux. | Eduardo Julian | 1 | -37/+75 |
2018-07-21 | Re-named "Ident" to "Name". | Eduardo Julian | 1 | -1/+1 |
2018-07-18 | Improvements to lux-mode. | Eduardo Julian | 1 | -66/+65 |
2018-07-14 | - New syntax for bit values: "#0" and "#1", instead of "false" and "true". | Eduardo Julian | 1 | -58/+69 |
2018-07-13 | Re-named "Bool" type to "Bit". | Eduardo Julian | 1 | -1/+1 |
2018-07-11 | - Re-named "type-of" to ":of". | Eduardo Julian | 1 | -1/+1 |
2018-07-10 | - Re-named "struct:" to "structure:". | Eduardo Julian | 1 | -2/+2 |
2018-07-10 | - Re-named "sig:" to "signature:". | Eduardo Julian | 1 | -1/+1 |
2018-07-09 | - Fixes: Part 1. | Eduardo Julian | 1 | -1/+1 |
2018-07-09 | - Fixes: Part 0. | Eduardo Julian | 1 | -1/+1 |
2018-07-07 | - Implemented ":share" macro for easier type-sharing when casting. | Eduardo Julian | 1 | -1/+1 |
2018-07-04 | - Removed "alias:" due to the potential for introducing confusion due to havi... | Eduardo Julian | 1 | -1/+1 |
2018-07-04 | - Re-named "degree" to "revolution". | Eduardo Julian | 1 | -1/+1 |
2018-07-04 | - Implemented ":cast" macro, and used it to implement both ":abstraction" and... | Eduardo Julian | 1 | -2/+2 |
2018-07-03 | - Improved syntax for numeric literals by allowing arbitrary zeroes (0) at th... | Eduardo Julian | 1 | -7/+5 |
2018-07-03 | - Re-named "stream" to "sequence". | Eduardo Julian | 1 | -2/+2 |
2018-07-03 | - Re-named "sequence" to "row". | Eduardo Julian | 1 | -1/+1 |
2018-07-03 | - Re-named "import" to "import:". | Eduardo Julian | 1 | -1/+1 |
2018-07-03 | - Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres... | Eduardo Julian | 1 | -1/+1 |
2018-07-03 | - Re-named ":!" to ":coerce". | Eduardo Julian | 1 | -1/+1 |
2018-07-03 | - Re-named ":!!" to ":assume". | Eduardo Julian | 1 | -2/+2 |
2018-05-26 | - WIP: Migrated synthesis to stdlib. | Eduardo Julian | 1 | -1/+1 |
2018-05-23 | - Minor improvements. | Eduardo Julian | 1 | -2/+2 |
2018-05-13 | - Re-named ".../eq" modules to ".../equality". | Eduardo Julian | 1 | -4/+0 |
2018-05-12 | - Implemented Deg(ree) reciprocal & conversions Deg<->Frac. | Eduardo Julian | 1 | -1/+1 |
2017-12-10 | - Some minor refactoring. | Eduardo Julian | 1 | -0/+1 |
2017-12-05 | - Forgot to remove "~@" syntax from lux-mode. | Eduardo Julian | 1 | -1/+1 |
2017-12-02 | - Added context-sensitive macro-expansion by means of "lux in-module", and re... | Eduardo Julian | 1 | -1/+1 |
2017-12-01 | - Changed some of the syntax for macro templating. | Eduardo Julian | 1 | -1/+1 |
2017-11-29 | - Re-named lux/type/opaque to lux/type/abstract. | Eduardo Julian | 1 | -1/+1 |