aboutsummaryrefslogtreecommitdiff
path: root/lux-mode/lux-mode.el (unfollow)
Commit message (Collapse)AuthorFilesLines
2021-08-26"Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian1-1/+2
2021-08-24Outsourced the syntax for labelled type definitions to macros.Eduardo Julian1-1/+6
2021-08-18Some bug fixes.Eduardo Julian1-1/+1
2021-08-16Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian1-1/+1
2021-08-14Moved documentation-generation machinery to its own module.Eduardo Julian1-1/+1
2021-08-13Made program: specify its bindings the same way as syntax:.Eduardo Julian1-1/+1
2021-08-11Relocated maybe and lazy from data to control.Eduardo Julian1-14/+17
2021-08-09Improved single-line comment syntax (from "##" to "...").Eduardo Julian1-7/+47
2021-08-01Even more renamings.Eduardo Julian1-1/+1
2021-07-31Yet more renamings.Eduardo Julian1-1/+1
2021-07-25Better syntax for "library/lux.^multi".Eduardo Julian1-1/+1
2021-07-11Re-named ":coerce" to ":as" since it technically doesn't do coercions.Eduardo Julian1-1/+1
2021-06-30"signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian1-3/+3
"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
2021-06-08Added type information when logging compiled definitions.Eduardo Julian1-3/+3
2021-01-28Implemented arithmetic right-shift in terms of logic right-shift.Eduardo Julian1-1/+1
2020-12-29Moved "lux/data/number" to "lux/math/number".Eduardo Julian1-1/+1
2020-12-25Replaced kebab-case with snake_case for naming convention.Eduardo Julian1-5/+5
2020-12-02Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the ↵Eduardo Julian1-2/+2
convention that only macros that deal with types may start with a colon.
2020-11-17Made the syntax of ^template more consistent.Eduardo Julian1-1/+79
2020-11-02Allow defining anonymous actors.Eduardo Julian1-1/+1
2020-04-16Generating definition names in a new way.Eduardo Julian1-0/+1
2020-04-15Test for concatenative programming.Eduardo Julian1-5/+7
2020-04-15Some tweaks to how dictionaries and rows work.Eduardo Julian1-2/+5
2019-10-15Compiler extensions have been tested to work.Eduardo Julian1-10/+14
2019-10-10Small improvements + fixesEduardo Julian1-110/+110
2019-10-09Updated lux-mode to work with the latest EmacsEduardo Julian1-107/+110
2019-09-15Added the ":let" macro to enable reuse of type fragments in larger types.Eduardo Julian1-1/+2
2019-06-18Implemented "hole" typing.Eduardo Julian1-1/+1
2019-03-30Re-named "do-template" to "template".Eduardo Julian1-2/+2
2019-03-13Replaced the digit separator in numbers from "_" to ",".Eduardo Julian1-1/+1
2019-03-12Re-named ":extract" to ":by-example".Eduardo Julian1-1/+1
2019-03-02Added the capacity to extract type-information from values to create new ↵Eduardo Julian1-1/+1
types based on that.
2019-02-03Added branding to capabilities to better differentiate between capabilities ↵Eduardo Julian1-1/+3
that share the same inputs and outputs.
2019-01-30Tests are now first class.Eduardo Julian1-1/+1
2019-01-24Added dynamic typing.Eduardo Julian1-1/+3
2019-01-22- WIP: Expansion of CSS machinery.Eduardo Julian1-1/+1
- Expansion of l10n/i18n machinery.
2019-01-08Small adjustments.Eduardo Julian1-2/+5
2019-01-02Added macros for remembering things to the programmer based on deadlines.Eduardo Julian1-1/+3
2018-12-09- Some refactoring.Eduardo Julian1-1/+1
- Eliminated "choice:" macro.
2018-12-09Basic implementation for sessions.Eduardo Julian1-1/+1
2018-08-26Updated lux-mode.Eduardo Julian1-2/+2
2018-08-23No more escaping of back-slash.Eduardo Julian1-2/+1
2018-08-20- More minor optimizations.Eduardo Julian1-3/+0
- Removed ratio syntax for Frac.
2018-08-20Fixed type in lux-mode.Eduardo Julian1-1/+1
2018-07-28Adjusted lux-mode to the latest syntactic changes.Eduardo Julian1-10/+17
2018-07-21Re-named "name-for" to "name-of".Eduardo Julian1-1/+1
2018-07-21Re-named "Symbol" to "Identifier".Eduardo Julian1-7/+6
2018-07-21Improved syntax-highlighting for Lux.Eduardo Julian1-37/+75
2018-07-21Re-named "Ident" to "Name".Eduardo Julian1-1/+1
2018-07-18Improvements to lux-mode.Eduardo Julian1-66/+65