aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/analysis/type.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2023-01-07Now wrapping C++ values inside a universal box.Eduardo Julian1-65/+0
2022-10-21Clean-up after format change for extensions [part 2]Eduardo Julian1-3/+3
2022-08-11Re-named the "case" macro to "when".Eduardo Julian1-1/+1
2022-08-10Extracted property-based testing machinery into its own module.Eduardo Julian1-19/+21
2022-07-28Extracted unit-testing machinery into its own module.Eduardo Julian1-2/+2
2022-07-06Moved compiler machinery under lux/meta.Eduardo Julian1-2/+1
2022-07-02More traditional names for unquoting macros.Eduardo Julian1-2/+2
2022-07-01Moved "lux/macro/code" to "lux/meta/code".Eduardo Julian1-1/+1
2022-06-16De-sigil-ification: suffix : [Part 14]Eduardo Julian1-1/+1
2022-06-16De-sigil-ification: suffix : [Part 13]Eduardo Julian1-3/+3
2022-06-12De-sigil-ification: suffix : [Part 3]Eduardo Julian1-1/+1
2022-06-03Extensible import syntax [Part 5]Eduardo Julian1-1/+1
2022-06-02Extensible import syntax [Part 3]Eduardo Julian1-1/+1
2022-06-01Extensible import syntax: Part 1Eduardo Julian1-5/+5
2022-04-09Better names for testing macros (plus better indentation).Eduardo Julian1-4/+4
2022-04-08Better names for random text/character generators.Eduardo Julian1-1/+1
2022-04-08De-sigil-ification: $Eduardo Julian1-20/+20
2022-03-14De-sigil-ification: >Eduardo Julian1-24/+25
2021-09-15"module:" => "using"Eduardo Julian1-1/+1
2021-09-13Updated only/except import syntax to take into account record => variant synt...Eduardo Julian1-6/+6
2021-09-12Made the "#" character great again!Eduardo Julian1-2/+2
2021-09-10Fixed the indentation of variants.Eduardo Julian1-2/+2
2021-09-10Migrated variants to the new syntax.Eduardo Julian1-8/+8
2021-09-07De-taggification | part 4Eduardo Julian1-7/+7
2021-09-04De-taggification | part 2Eduardo Julian1-7/+7
2021-08-11Relocated maybe and lazy from data to control.Eduardo Julian1-1/+1
2021-08-08No more #export magic syntax.Eduardo Julian1-1/+1
2021-07-28Re-named List's tags: Nil => End && Cons => ItemEduardo Julian1-8/+8
2021-07-27Re-named wrap => in && unwrap => out.Eduardo Julian1-5/+5
2021-07-15Re-named "spec" hierarchy to "specification".Eduardo Julian1-0/+0
2020-11-28Added "private" macro to lux/debug.Eduardo Julian1-4/+0
2020-07-02Now using the new syntax for variants (even though they still work the old wa...Eduardo Julian1-6/+6
2019-07-02Re-name "lux/data/error" to "lux/control/try".Eduardo Julian1-4/+4
2019-04-27Ported tests for type analysis.Eduardo Julian1-0/+67