aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository/identity.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2023-01-13Re-licensed to MPL 2.0Eduardo Julian1-0/+3
2022-12-23Began work on C++ back-end.Eduardo Julian1-3/+3
2022-08-10Extracted property-based testing machinery into its own module.Eduardo Julian1-2/+3
2022-06-16De-sigil-ification: suffix : [Part 14]Eduardo Julian1-1/+1
2022-06-16De-sigil-ification: suffix : [Part 13]Eduardo Julian1-2/+2
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-2/+2
2022-04-08Better names for random text/character generators.Eduardo Julian1-2/+2
2022-04-08De-sigil-ification: $Eduardo Julian1-18/+18
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-2/+2
2021-09-07De-taggification | part 4Eduardo Julian1-3/+3
2021-09-04De-taggification | part 2Eduardo Julian1-3/+3
2021-08-08No more #export magic syntax.Eduardo Julian1-2/+2
2021-07-17Now allowing compilers to generate custom-named outputs.Eduardo Julian1-1/+1
2021-07-15Re-named "spec" hierarchy to "specification".Eduardo Julian1-1/+1
2021-07-14Normalized the hierarchy of the standard library modules.Eduardo Julian1-7/+8
2021-07-12Better syntax for parallel-hierarchy imports.Eduardo Julian1-5/+4
2020-12-26Some renamings.Eduardo Julian1-3/+0
2020-12-23Refactored "export" common syntax.Eduardo Julian1-7/+8
2020-12-10Re-named "with-cover" to "for".Eduardo Julian1-5/+5
2020-10-24Re-named "search" to "one" and "search-all" to "all".Eduardo Julian1-12/+5
2020-10-14Gave the Location type its own module.Eduardo Julian1-1/+3
2020-10-12Type-checking macros via the Macro' type from the standard library.Eduardo Julian1-0/+4
2020-10-09Mandatory long names for JVM imports, instead of having "long" be optional an...Eduardo Julian1-0/+30
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 23:23:00 +0000