aboutsummaryrefslogtreecommitdiff
path: root/lux-mode (follow)
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* 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
* 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 havi...Eduardo Julian2018-07-041-1/+1
* - Re-named "degree" to "revolution".Eduardo Julian2018-07-041-1/+1
* - Implemented ":cast" macro, and used it to implement both ":abstraction" and...Eduardo Julian2018-07-041-2/+2
* - Improved syntax for numeric literals by allowing arbitrary zeroes (0) at th...Eduardo Julian2018-07-031-7/+5
* - Re-named "stream" to "sequence".Eduardo Julian2018-07-031-2/+2
* - Re-named "sequence" to "row".Eduardo Julian2018-07-031-1/+1
* - Re-named "import" to "import:".Eduardo Julian2018-07-031-1/+1
* - Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...Eduardo Julian2018-07-031-1/+1
* - Re-named ":!" to ":coerce".Eduardo Julian2018-07-031-1/+1
* - Re-named ":!!" to ":assume".Eduardo Julian2018-07-031-2/+2
* - WIP: Migrated synthesis to stdlib.Eduardo Julian2018-05-261-1/+1
* - Minor improvements.Eduardo Julian2018-05-231-2/+2
* - Re-named ".../eq" modules to ".../equality".Eduardo Julian2018-05-131-4/+0
* - Implemented Deg(ree) reciprocal & conversions Deg<->Frac.Eduardo Julian2018-05-121-1/+1
* - Some minor refactoring.Eduardo Julian2017-12-101-0/+1
* - Forgot to remove "~@" syntax from lux-mode.Eduardo Julian2017-12-051-1/+1
* - Added context-sensitive macro-expansion by means of "lux in-module", and re...Eduardo Julian2017-12-021-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-23 03:47:20 +0000