aboutsummaryrefslogtreecommitdiff
path: root/lux-mode (unfollow)
Commit message (Expand)AuthorFilesLines
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
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
2018-07-14- New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian1-58/+69
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-1/+1
2018-07-11- Re-named "type-of" to ":of".Eduardo Julian1-1/+1
2018-07-10- Re-named "struct:" to "structure:".Eduardo Julian1-2/+2
2018-07-10- Re-named "sig:" to "signature:".Eduardo Julian1-1/+1
2018-07-09- Fixes: Part 1.Eduardo Julian1-1/+1
2018-07-09- Fixes: Part 0.Eduardo Julian1-1/+1
2018-07-07- Implemented ":share" macro for easier type-sharing when casting.Eduardo Julian1-1/+1
2018-07-04- Removed "alias:" due to the potential for introducing confusion due to havi...Eduardo Julian1-1/+1
2018-07-04- Re-named "degree" to "revolution".Eduardo Julian1-1/+1
2018-07-04- Implemented ":cast" macro, and used it to implement both ":abstraction" and...Eduardo Julian1-2/+2
2018-07-03- Improved syntax for numeric literals by allowing arbitrary zeroes (0) at th...Eduardo Julian1-7/+5
2018-07-03- Re-named "stream" to "sequence".Eduardo Julian1-2/+2
2018-07-03- Re-named "sequence" to "row".Eduardo Julian1-1/+1
2018-07-03- Re-named "import" to "import:".Eduardo Julian1-1/+1
2018-07-03- Re-named "@abstraction" to ":abstraction" and "@representation" to ":repres...Eduardo Julian1-1/+1
2018-07-03- Re-named ":!" to ":coerce".Eduardo Julian1-1/+1
2018-07-03- Re-named ":!!" to ":assume".Eduardo Julian1-2/+2
2018-05-26- WIP: Migrated synthesis to stdlib.Eduardo Julian1-1/+1
2018-05-23- Minor improvements.Eduardo Julian1-2/+2
2018-05-13- Re-named ".../eq" modules to ".../equality".Eduardo Julian1-4/+0
2018-05-12- Implemented Deg(ree) reciprocal & conversions Deg<->Frac.Eduardo Julian1-1/+1
2017-12-10- Some minor refactoring.Eduardo Julian1-0/+1
2017-12-05- Forgot to remove "~@" syntax from lux-mode.Eduardo Julian1-1/+1
2017-12-02- Added context-sensitive macro-expansion by means of "lux in-module", and re...Eduardo Julian1-1/+1
2017-12-01- Changed some of the syntax for macro templating.Eduardo Julian1-1/+1
2017-11-29- Re-named lux/type/opaque to lux/type/abstract.Eduardo Julian1-1/+1
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian1-5/+5
2017-11-27- Got rid of even more dots.Eduardo Julian1-1/+1
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian1-2/+2
2017-10-30- Added "^code" pattern-matching macro for easier handling of code.Eduardo Julian1-1/+1
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-8/+8
2017-10-19- Implemented an more comfortable alternative to "with-expansions".Eduardo Julian1-2/+2
2017-10-17- Added "for" macro to specify platform-dependent code.Eduardo Julian1-1/+2
2017-09-19- Some refactoring.Eduardo Julian1-4/+2
2017-09-08- Re-named "jvm-import" to "import".Eduardo Julian1-2/+2
2017-09-05- Added alternative syntax for Frac numbers, based on traditional ratio/fract...Eduardo Julian1-1/+4
2017-08-21- Renamed "model" to "opaque".Eduardo Julian1-1/+1
2017-08-03- Added "on:" syntax for spaces.Eduardo Julian1-2/+2