aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository.lux (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Now wrapping C++ values inside a universal box.Eduardo Julian2023-01-071-14/+50
|
* Fixes for Aedifex tests.Eduardo Julian2022-08-121-1/+1
|
* Improved exception-definition macro.Eduardo Julian2022-08-111-6/+8
|
* Re-named the "case" macro to "when".Eduardo Julian2022-08-111-2/+2
|
* Extracted property-based testing machinery into its own module.Eduardo Julian2022-08-101-2/+3
|
* Made exception.report a function.Eduardo Julian2022-07-061-2/+2
|
* De-sigil-ification: suffix : [Part 16]Eduardo Julian2022-06-261-3/+3
|
* De-sigil-ification: suffix : [Part 15]Eduardo Julian2022-06-251-1/+1
|
* De-sigil-ification: suffix : [Part 14]Eduardo Julian2022-06-161-1/+1
|
* De-sigil-ification: suffix : [Part 13]Eduardo Julian2022-06-161-9/+9
|
* New "format" hierarchy.Eduardo Julian2022-06-131-1/+1
|
* De-sigil-ification: suffix : [Part 4]Eduardo Julian2022-06-121-17/+17
|
* Extensible import syntax [Part 5]Eduardo Julian2022-06-031-1/+1
|
* Extensible import syntax [Part 4]Eduardo Julian2022-06-031-4/+4
|
* Extensible import syntax [Part 3]Eduardo Julian2022-06-021-1/+1
|
* Extensible import syntax: Part 1Eduardo Julian2022-06-011-12/+12
|
* De-sigil-ification: $Eduardo Julian2022-04-081-17/+17
|
* Leaner syntax for library/lux/control/exception.reportEduardo Julian2022-03-151-40/+40
|
* "module:" => "using"Eduardo Julian2021-09-151-1/+1
|
* Updated only/except import syntax to take into account record => variant ↵Eduardo Julian2021-09-131-12/+12
| | | | syntax change.
* Made the "#" character great again!Eduardo Julian2021-09-121-4/+4
|
* Migrated variants to the new syntax.Eduardo Julian2021-09-101-3/+3
|
* Normalized syntax of "exception:", "actor:" and "message:".Eduardo Julian2021-09-081-2/+2
|
* De-taggification | part 4Eduardo Julian2021-09-071-22/+22
|
* De-taggification | part 2Eduardo Julian2021-09-041-15/+15
|
* Made program: specify its bindings the same way as syntax:.Eduardo Julian2021-08-131-1/+1
|
* Improved binding syntax for "syntax:".Eduardo Julian2021-08-121-2/+2
|
* Relocated maybe and lazy from data to control.Eduardo Julian2021-08-111-1/+1
|
* Improved single-line comment syntax (from "##" to "...").Eduardo Julian2021-08-091-2/+2
|
* No more #export magic syntax.Eduardo Julian2021-08-081-3/+3
|
* Even more renamings.Eduardo Julian2021-08-011-1/+1
|
* Re-named wrap => in && unwrap => out.Eduardo Julian2021-07-271-4/+4
|
* Re-named "spec" hierarchy to "specification".Eduardo Julian2021-07-151-1/+1
|
* Normalized the hierarchy of the standard library modules.Eduardo Julian2021-07-141-22/+23
|
* Better syntax for parallel-hierarchy imports.Eduardo Julian2021-07-121-4/+4
|
* Re-named ":coerce" to ":as" since it technically doesn't do coercions.Eduardo Julian2021-07-111-0/+2
|
* Simplified the API for file-system operations.Eduardo Julian2021-07-061-0/+2
|
* No longer employing the capabilities model on the lux/world/* modules.Eduardo Julian2021-07-021-8/+10
| | | Capabilities should be opt-in, but using them in the standard library makes them mandatory.
* "signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian2021-06-301-6/+30
| | | "signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.
* Some renamings.Eduardo Julian2020-12-261-0/+3
|
* Replaced kebab-case with snake_case for naming convention.Eduardo Julian2020-12-251-4/+4
|
* Refactored "export" common syntax.Eduardo Julian2020-12-231-33/+16
|
* Properly naming unicode Block type.Eduardo Julian2020-12-221-17/+13
|
* Removed several unnecessary imports.Eduardo Julian2020-12-121-4/+5
|
* Re-named "with-cover" to "for".Eduardo Julian2020-12-101-4/+4
|
* Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the ↵Eduardo Julian2020-12-021-2/+2
| | | | convention that only macros that deal with types may start with a colon.
* Pure-Lux implementation for biggest and smallest Frac values.Eduardo Julian2020-11-071-3/+3
|
* Improved error reporting for syntax macros.Eduardo Julian2020-11-051-0/+93