aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/type/refinement.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* Alternative names for (un)quoting macros.Eduardo Julian2022-06-301-105/+0
* Better syntax for calling virtual methods when defining JVM classes.Eduardo Julian2022-06-291-2/+3
* New "parser" hierarchy. [Part 4]Eduardo Julian2022-06-261-4/+3
* De-sigil-ification: suffix : [Part 15]Eduardo Julian2022-06-251-3/+3
* De-sigil-ification: suffix : [Part 14]Eduardo Julian2022-06-161-1/+1
* De-sigil-ification: suffix : [Part 13]Eduardo Julian2022-06-161-6/+6
* Better syntax for the "sharing" and "by_example" macros.Eduardo Julian2022-06-151-3/+2
* De-sigil-ification: suffix : [Part 12]Eduardo Julian2022-06-151-1/+1
* De-sigil-ification: suffix : [Part 3]Eduardo Julian2022-06-121-1/+1
* De-sigil-ification: : [Part 2]Eduardo Julian2022-06-111-19/+20
* Extensible import syntax [Part 5]Eduardo Julian2022-06-031-1/+1
* Extensible import syntax [Part 4]Eduardo Julian2022-06-031-2/+2
* Extensible import syntax [Part 3]Eduardo Julian2022-06-021-1/+1
* Extensible import syntax [Part 2]Eduardo Julian2022-06-021-1/+1
* Extensible import syntax: Part 1Eduardo Julian2022-06-011-3/+3
* Re-branded "abstract" types as "primitive" types.Eduardo Julian2022-04-091-2/+2
* Removed (mostly useless) pattern-matching macro for abstract types.Eduardo Julian2022-04-081-1/+1
* De-sigil-ification: prefix :Eduardo Julian2022-03-161-13/+25
* De-sigil-ification: ^Eduardo Julian2022-03-151-1/+1
* De-sigil-ification: @Eduardo Julian2022-03-141-12/+12
* "module:" => "using"Eduardo Julian2021-09-151-1/+1
* Re-named "Identifier" to "Symbol".Eduardo Julian2021-09-141-1/+1
* No more "^slots".Eduardo Julian2021-09-141-4/+4
* Updated only/except import syntax to take into account record => variant synt...Eduardo Julian2021-09-131-3/+3
* Made the "#" character great again!Eduardo Julian2021-09-121-20/+20
* Undid the foolish re-design of "abstract:" and "actor:".Eduardo Julian2021-09-101-29/+29
* Migrated variants to the new syntax.Eduardo Julian2021-09-101-11/+11
* Normalized the syntax of "abstract:" and "actor:".Eduardo Julian2021-09-081-31/+29
* De-taggification | part 4Eduardo Julian2021-09-071-3/+3
* De-taggification | part 2Eduardo Julian2021-09-041-3/+3
* Unified tuple and record syntax.Eduardo Julian2021-09-031-6/+6
* Updates to the Ruby compiler.Eduardo Julian2021-08-271-6/+6
* Updates to the Lua compiler.Eduardo Julian2021-08-251-15/+1
* Outsourced the syntax for labelled type definitions to macros.Eduardo Julian2021-08-241-2/+3
* 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
* Improved binding syntax for "syntax:".Eduardo Julian2021-08-121-1/+4
* Relocated maybe and lazy from data to control.Eduardo Julian2021-08-111-13/+13
* Improved single-line comment syntax (from "##" to "...").Eduardo Julian2021-08-091-4/+20
* No more #export magic syntax.Eduardo Julian2021-08-081-10/+10
* Switched from the "from to" convention to the "minimum additional" convention.Eduardo Julian2021-07-291-4/+4
* Re-named List's tags: Nil => End && Cons => ItemEduardo Julian2021-07-281-9/+9
* Re-named wrap => in && unwrap => out.Eduardo Julian2021-07-271-5/+5
* Better syntax for "library/lux.^multi".Eduardo Julian2021-07-251-3/+3
* Normalized the hierarchy of the standard library modules.Eduardo Julian2021-07-141-0/+89
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 23:15:53 +0000