Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Re-named ":coerce" to ":as" since it technically doesn't do coercions. | Eduardo Julian | 2021-07-11 | 1 | -1/+1 |
| | |||||
* | "signature:" -> "interface:" & "structure:" -> "implementation:" | Eduardo Julian | 2021-06-30 | 1 | -3/+3 |
| | | | "signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it. | ||||
* | Added type information when logging compiled definitions. | Eduardo Julian | 2021-06-08 | 1 | -3/+3 |
| | |||||
* | Implemented arithmetic right-shift in terms of logic right-shift. | Eduardo Julian | 2021-01-28 | 1 | -1/+1 |
| | |||||
* | Moved "lux/data/number" to "lux/math/number". | Eduardo Julian | 2020-12-29 | 1 | -1/+1 |
| | |||||
* | Replaced kebab-case with snake_case for naming convention. | Eduardo Julian | 2020-12-25 | 1 | -5/+5 |
| | |||||
* | Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the ↵ | Eduardo Julian | 2020-12-02 | 1 | -2/+2 |
| | | | | convention that only macros that deal with types may start with a colon. | ||||
* | Made the syntax of ^template more consistent. | Eduardo Julian | 2020-11-17 | 1 | -1/+79 |
| | |||||
* | Allow defining anonymous actors. | Eduardo Julian | 2020-11-02 | 1 | -1/+1 |
| | |||||
* | Generating definition names in a new way. | Eduardo Julian | 2020-04-16 | 1 | -0/+1 |
| | |||||
* | Test for concatenative programming. | Eduardo Julian | 2020-04-15 | 1 | -5/+7 |
| | |||||
* | Some tweaks to how dictionaries and rows work. | Eduardo Julian | 2020-04-15 | 1 | -2/+5 |
| | |||||
* | Compiler extensions have been tested to work. | Eduardo Julian | 2019-10-15 | 1 | -10/+14 |
| | |||||
* | Small improvements + fixes | Eduardo Julian | 2019-10-10 | 1 | -110/+110 |
| | |||||
* | Updated lux-mode to work with the latest Emacs | Eduardo Julian | 2019-10-09 | 1 | -107/+110 |
| | |||||
* | Added the ":let" macro to enable reuse of type fragments in larger types. | Eduardo Julian | 2019-09-15 | 1 | -1/+2 |
| | |||||
* | Implemented "hole" typing. | Eduardo Julian | 2019-06-18 | 1 | -1/+1 |
| | |||||
* | Re-named "do-template" to "template". | Eduardo Julian | 2019-03-30 | 1 | -2/+2 |
| | |||||
* | Replaced the digit separator in numbers from "_" to ",". | Eduardo Julian | 2019-03-13 | 1 | -1/+1 |
| | |||||
* | Re-named ":extract" to ":by-example". | Eduardo Julian | 2019-03-12 | 1 | -1/+1 |
| | |||||
* | Added the capacity to extract type-information from values to create new ↵ | Eduardo Julian | 2019-03-02 | 1 | -1/+1 |
| | | | | types based on that. | ||||
* | Added branding to capabilities to better differentiate between capabilities ↵ | Eduardo Julian | 2019-02-03 | 1 | -1/+3 |
| | | | | that share the same inputs and outputs. | ||||
* | Tests are now first class. | Eduardo Julian | 2019-01-30 | 1 | -1/+1 |
| | |||||
* | Added dynamic typing. | Eduardo Julian | 2019-01-24 | 1 | -1/+3 |
| | |||||
* | - WIP: Expansion of CSS machinery. | Eduardo Julian | 2019-01-22 | 1 | -1/+1 |
| | | | - Expansion of l10n/i18n machinery. | ||||
* | Small adjustments. | Eduardo Julian | 2019-01-08 | 1 | -2/+5 |
| | |||||
* | Added macros for remembering things to the programmer based on deadlines. | Eduardo Julian | 2019-01-02 | 1 | -1/+3 |
| | |||||
* | - Some refactoring. | Eduardo Julian | 2018-12-09 | 1 | -1/+1 |
| | | | - Eliminated "choice:" macro. | ||||
* | Basic implementation for sessions. | Eduardo Julian | 2018-12-09 | 1 | -1/+1 |
| | |||||
* | Updated lux-mode. | Eduardo Julian | 2018-08-26 | 1 | -2/+2 |
| | |||||
* | No more escaping of back-slash. | Eduardo Julian | 2018-08-23 | 1 | -2/+1 |
| | |||||
* | - More minor optimizations. | Eduardo Julian | 2018-08-20 | 1 | -3/+0 |
| | | | - Removed ratio syntax for Frac. | ||||
* | Fixed type in lux-mode. | Eduardo Julian | 2018-08-20 | 1 | -1/+1 |
| | |||||
* | Adjusted lux-mode to the latest syntactic changes. | Eduardo Julian | 2018-07-28 | 1 | -10/+17 |
| | |||||
* | Re-named "name-for" to "name-of". | Eduardo Julian | 2018-07-21 | 1 | -1/+1 |
| | |||||
* | Re-named "Symbol" to "Identifier". | Eduardo Julian | 2018-07-21 | 1 | -7/+6 |
| | |||||
* | Improved syntax-highlighting for Lux. | Eduardo Julian | 2018-07-21 | 1 | -37/+75 |
| | |||||
* | Re-named "Ident" to "Name". | Eduardo Julian | 2018-07-21 | 1 | -1/+1 |
| | |||||
* | Improvements to lux-mode. | Eduardo Julian | 2018-07-18 | 1 | -66/+65 |
| | |||||
* | - New syntax for bit values: "#0" and "#1", instead of "false" and "true". | Eduardo Julian | 2018-07-14 | 1 | -58/+69 |
| | | | - Small improvements to lux-mode. | ||||
* | Re-named "Bool" type to "Bit". | Eduardo Julian | 2018-07-13 | 1 | -1/+1 |
| | |||||
* | - Re-named "type-of" to ":of". | Eduardo Julian | 2018-07-11 | 1 | -1/+1 |
| | |||||
* | - Re-named "struct:" to "structure:". | Eduardo Julian | 2018-07-10 | 1 | -2/+2 |
| | |||||
* | - Re-named "sig:" to "signature:". | Eduardo Julian | 2018-07-10 | 1 | -1/+1 |
| | |||||
* | - Fixes: Part 1. | Eduardo Julian | 2018-07-09 | 1 | -1/+1 |
| | |||||
* | - Fixes: Part 0. | Eduardo Julian | 2018-07-09 | 1 | -1/+1 |
| | |||||
* | - Implemented ":share" macro for easier type-sharing when casting. | Eduardo Julian | 2018-07-07 | 1 | -1/+1 |
| | |||||
* | - Removed "alias:" due to the potential for introducing confusion due to ↵ | Eduardo Julian | 2018-07-04 | 1 | -1/+1 |
| | | | | having multiple names for the same definitions. | ||||
* | - Re-named "degree" to "revolution". | Eduardo Julian | 2018-07-04 | 1 | -1/+1 |
| | |||||
* | - Implemented ":cast" macro, and used it to implement both ":abstraction" ↵ | Eduardo Julian | 2018-07-04 | 1 | -2/+2 |
| | | | | | and ":representation". - Fix: You shouldn't be able to resolve tags if you haven't imported a module (even if they are exported). |