aboutsummaryrefslogtreecommitdiff
path: root/lux-mode/lux-mode.el (follow)
Commit message (Expand)AuthorAgeFilesLines
...
* Got lux-mode/paredit-mode to treat the semi-colon (;) like a normal character...Eduardo Julian2021-09-141-2/+7
* Got lux-mode/paredit-mode to treat the semi-colon (;) like a normal character.Eduardo Julian2021-09-141-1/+10
* Re-named "recur" to "again".Eduardo Julian2021-09-141-1/+1
* No more "^slots".Eduardo Julian2021-09-141-1/+1
* Re-named "name_of" to "symbol".Eduardo Julian2021-09-141-1/+1
* Re-named "primitive" to "Primitive".Eduardo Julian2021-09-131-1/+1
* Re-named \ => # && \\ => ##Eduardo Julian2021-09-121-17/+40
* Made the "#" character great again!Eduardo Julian2021-09-121-31/+5
* Fixed the indentation of variants.Eduardo Julian2021-09-101-2/+3
* The old record syntax has been re-purposed as variant syntax.Eduardo Julian2021-09-091-6/+7
* Now using eval to derive code for arbitrary types.Eduardo Julian2021-09-081-1/+1
* "Interface" instead of "interface:", and "Rec" can be used in type definition.Eduardo Julian2021-08-261-1/+2
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-241-1/+6
* Some bug fixes.Eduardo Julian2021-08-181-1/+1
* Made extension-definition macros specify their bindings the same way as syntax:.Eduardo Julian2021-08-161-1/+1
* Moved documentation-generation machinery to its own module.Eduardo Julian2021-08-141-1/+1
* Made program: specify its bindings the same way as syntax:.Eduardo Julian2021-08-131-1/+1
* Relocated maybe and lazy from data to control.Eduardo Julian2021-08-111-14/+17
* Improved single-line comment syntax (from "##" to "...").Eduardo Julian2021-08-091-7/+47
* Even more renamings.Eduardo Julian2021-08-011-1/+1
* 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
* 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 con...Eduardo Julian2020-12-021-2/+2
* 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 type...Eduardo Julian2019-03-021-1/+1
* Added branding to capabilities to better differentiate between capabilities t...Eduardo Julian2019-02-031-1/+3
* 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
* 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