aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/aedifex/repository.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2021-09-07De-taggification | part 4Eduardo Julian1-22/+22
2021-09-04De-taggification | part 2Eduardo Julian1-15/+15
2021-08-13Made program: specify its bindings the same way as syntax:.Eduardo Julian1-1/+1
2021-08-12Improved binding syntax for "syntax:".Eduardo Julian1-2/+2
2021-08-11Relocated maybe and lazy from data to control.Eduardo Julian1-1/+1
2021-08-09Improved single-line comment syntax (from "##" to "...").Eduardo Julian1-2/+2
2021-08-08No more #export magic syntax.Eduardo Julian1-3/+3
2021-08-01Even more renamings.Eduardo Julian1-1/+1
2021-07-27Re-named wrap => in && unwrap => out.Eduardo Julian1-4/+4
2021-07-15Re-named "spec" hierarchy to "specification".Eduardo Julian1-1/+1
2021-07-14Normalized the hierarchy of the standard library modules.Eduardo Julian1-22/+23
2021-07-12Better syntax for parallel-hierarchy imports.Eduardo Julian1-4/+4
2021-07-11Re-named ":coerce" to ":as" since it technically doesn't do coercions.Eduardo Julian1-0/+2
2021-07-06Simplified the API for file-system operations.Eduardo Julian1-0/+2
2021-07-02No longer employing the capabilities model on the lux/world/* modules.Eduardo Julian1-8/+10
2021-06-30"signature:" -> "interface:" & "structure:" -> "implementation:"Eduardo Julian1-6/+30
2020-12-26Some renamings.Eduardo Julian1-0/+3
2020-12-25Replaced kebab-case with snake_case for naming convention.Eduardo Julian1-4/+4
2020-12-23Refactored "export" common syntax.Eduardo Julian1-33/+16
2020-12-22Properly naming unicode Block type.Eduardo Julian1-17/+13
2020-12-12Removed several unnecessary imports.Eduardo Julian1-4/+5
2020-12-10Re-named "with-cover" to "for".Eduardo Julian1-4/+4
2020-12-02Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the con...Eduardo Julian1-2/+2
2020-11-07Pure-Lux implementation for biggest and smallest Frac values.Eduardo Julian1-3/+3
2020-11-05Improved error reporting for syntax macros.Eduardo Julian1-0/+93