aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type/implicit.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2021-08-24Outsourced the syntax for labelled type definitions to macros.Eduardo Julian1-8/+8
2021-08-18Some bug fixes.Eduardo Julian1-2/+2
2021-08-08No more #export magic syntax.Eduardo Julian1-1/+1
2021-08-07Made the be/de macros for (co)monadic expression extensible.Eduardo Julian1-2/+2
2021-07-14Normalized the hierarchy of the standard library modules.Eduardo Julian1-17/+18
2021-07-12Better syntax for parallel-hierarchy imports.Eduardo Julian1-2/+2
2021-01-28Implemented arithmetic right-shift in terms of logic right-shift.Eduardo Julian1-17/+35
2020-12-29Moved "lux/data/number" to "lux/math/number".Eduardo Julian1-3/+3
2020-12-25Replaced kebab-case with snake_case for naming convention.Eduardo Julian1-1/+1
2020-12-02Re-named "::" and ":::" macros to "\" and "\\", to be consistent with the con...Eduardo Julian1-11/+11
2020-11-28Added "private" macro to lux/debug.Eduardo Julian1-4/+4
2020-10-31Re-named the directory for my bookmarks to better reflect what they are.Eduardo Julian1-2/+2
2020-08-09Allow "#io" outputs for JS imports.Eduardo Julian1-7/+8
2020-07-02Now using the new syntax for variants (even though they still work the old wa...Eduardo Julian1-17/+20
2019-07-26No more "n/"-prefixed functions.Eduardo Julian1-3/+3
2019-06-20Improved the convention for using text formatters.Eduardo Julian1-2/+2
2019-04-06Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian1-2/+2
2019-03-24Ported tests for type-related modules.Eduardo Julian1-32/+33
2019-03-15Changed the convention for the structure opening separator from "/" to ";", t...Eduardo Julian1-4/+4
2019-02-11Added the special # syntax for referring to the module's alias when opening s...Eduardo Julian1-1/+1
2019-02-05Integrated tests into normal source code.Eduardo Julian1-0/+0
2019-02-04Changed the naming style for structures.Eduardo Julian1-4/+4
2018-07-28Removed temporary "|" prefix on Nat.Eduardo Julian1-7/+7
2018-07-28Temporary commit to get rid of "+" signs for Nat.Eduardo Julian1-7/+7
2018-07-20"^open" and "open:" now use aliases instead of prefixes, the same way as modu...Eduardo Julian1-2/+2
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-3/+3
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-10/+13
2018-07-11- Improvements to import syntax [part 1].Eduardo Julian1-1/+1
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-1/+1
2018-07-10- Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian1-1/+1
2018-07-09- Fixes: Part 2.Eduardo Julian1-1/+3
2018-07-05- Re-named "equality" to "equivalence".Eduardo Julian1-6/+4
2018-05-13- Re-named ".../eq" modules to ".../equality".Eduardo Julian1-1/+1
2018-05-13- Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian1-1/+1
2018-05-05- Removed Void and Unit as kinds of types.Eduardo Julian1-1/+0
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian1-11/+11
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian1-6/+6
2017-11-15- Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian1-1/+1
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian1-11/+8
2017-11-15- Re-named "lux/meta/type/auto" to "lux/meta/type/implicit".Eduardo Julian1-1/+1
2017-10-20- Replaced the "#seed" and "#times" options for "seed" and "times" test combi...Eduardo Julian1-20/+22
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian1-5/+5
2017-10-16- Re-named "Result" type back to "Error".Eduardo Julian1-3/+3
2017-07-22- Removed the "M" suffix from monadic functions.Eduardo Julian1-1/+1
2017-06-19- In lux/test, renamed "test:" to "context:", and "assert" to "test".Eduardo Julian1-16/+16
2017-04-05- Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and lux/data/tex...Eduardo Julian1-1/+5
2017-03-24- Moved lux/random to lux/math/random.Eduardo Julian1-1/+1
2017-01-26- Changed the license from MPL 2.0 to MIT.Eduardo Julian1-5/+0
2017-01-25- Moved the lux/data/struct/* modules to lux/data/coll/*.Eduardo Julian1-2/+2
2017-01-06- Renamed lux/math/random to lux/random.Eduardo Julian1-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-22 20:21:16 +0000