aboutsummaryrefslogtreecommitdiff
path: root/lux-mode/lux-mode.el (follow)
Commit message (Collapse)AuthorAgeFilesLines
...
* Yet more renamings.Eduardo Julian2021-07-311-1/+1
|
* Better syntax for "library/lux.^multi".Eduardo Julian2021-07-251-1/+1
|
* Re-named ":coerce" to ":as" since it technically doesn't do coercions.Eduardo Julian2021-07-111-1/+1
|
* "signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian2021-06-301-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 Julian2021-06-081-3/+3
|
* Implemented arithmetic right-shift in terms of logic right-shift.Eduardo Julian2021-01-281-1/+1
|
* Moved "lux/data/number" to "lux/math/number".Eduardo Julian2020-12-291-1/+1
|
* Replaced kebab-case with snake_case for naming convention.Eduardo Julian2020-12-251-5/+5
|
* Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the ↵Eduardo Julian2020-12-021-2/+2
| | | | convention that only macros that deal with types may start with a colon.
* Made the syntax of ^template more consistent.Eduardo Julian2020-11-171-1/+79
|
* Allow defining anonymous actors.Eduardo Julian2020-11-021-1/+1
|
* Generating definition names in a new way.Eduardo Julian2020-04-161-0/+1
|
* Test for concatenative programming.Eduardo Julian2020-04-151-5/+7
|
* Some tweaks to how dictionaries and rows work.Eduardo Julian2020-04-151-2/+5
|
* Compiler extensions have been tested to work.Eduardo Julian2019-10-151-10/+14
|
* Small improvements + fixesEduardo Julian2019-10-101-110/+110
|
* Updated lux-mode to work with the latest EmacsEduardo Julian2019-10-091-107/+110
|
* Added the ":let" macro to enable reuse of type fragments in larger types.Eduardo Julian2019-09-151-1/+2
|
* Implemented "hole" typing.Eduardo Julian2019-06-181-1/+1
|
* Re-named "do-template" to "template".Eduardo Julian2019-03-301-2/+2
|
* Replaced the digit separator in numbers from "_" to ",".Eduardo Julian2019-03-131-1/+1
|
* Re-named ":extract" to ":by-example".Eduardo Julian2019-03-121-1/+1
|
* Added the capacity to extract type-information from values to create new ↵Eduardo Julian2019-03-021-1/+1
| | | | types based on that.
* Added branding to capabilities to better differentiate between capabilities ↵Eduardo Julian2019-02-031-1/+3
| | | | that share the same inputs and outputs.
* Tests are now first class.Eduardo Julian2019-01-301-1/+1
|
* Added dynamic typing.Eduardo Julian2019-01-241-1/+3
|
* - WIP: Expansion of CSS machinery.Eduardo Julian2019-01-221-1/+1
| | | - Expansion of l10n/i18n machinery.
* Small adjustments.Eduardo Julian2019-01-081-2/+5
|
* Added macros for remembering things to the programmer based on deadlines.Eduardo Julian2019-01-021-1/+3
|
* - Some refactoring.Eduardo Julian2018-12-091-1/+1
| | | - Eliminated "choice:" macro.
* Basic implementation for sessions.Eduardo Julian2018-12-091-1/+1
|
* Updated lux-mode.Eduardo Julian2018-08-261-2/+2
|
* No more escaping of back-slash.Eduardo Julian2018-08-231-2/+1
|
* - More minor optimizations.Eduardo Julian2018-08-201-3/+0
| | | - Removed ratio syntax for Frac.
* Fixed type in lux-mode.Eduardo Julian2018-08-201-1/+1
|
* Adjusted lux-mode to the latest syntactic changes.Eduardo Julian2018-07-281-10/+17
|
* Re-named "name-for" to "name-of".Eduardo Julian2018-07-211-1/+1
|
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-211-7/+6
|
* Improved syntax-highlighting for Lux.Eduardo Julian2018-07-211-37/+75
|
* Re-named "Ident" to "Name".Eduardo Julian2018-07-211-1/+1
|
* Improvements to lux-mode.Eduardo Julian2018-07-181-66/+65
|
* - New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian2018-07-141-58/+69
| | | - Small improvements to lux-mode.
* Re-named "Bool" type to "Bit".Eduardo Julian2018-07-131-1/+1
|
* - Re-named "type-of" to ":of".Eduardo Julian2018-07-111-1/+1
|
* - Re-named "struct:" to "structure:".Eduardo Julian2018-07-101-2/+2
|
* - Re-named "sig:" to "signature:".Eduardo Julian2018-07-101-1/+1
|
* - Fixes: Part 1.Eduardo Julian2018-07-091-1/+1
|
* - Fixes: Part 0.Eduardo Julian2018-07-091-1/+1
|
* - Implemented ":share" macro for easier type-sharing when casting.Eduardo Julian2018-07-071-1/+1
|
* - Removed "alias:" due to the potential for introducing confusion due to ↵Eduardo Julian2018-07-041-1/+1
| | | | having multiple names for the same definitions.