aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test/lux/type.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2018-07-14- New syntax for bit values: "#0" and "#1", instead of "false" and "true".Eduardo Julian1-8/+8
2018-07-13Re-named "Bool" type to "Bit".Eduardo Julian1-4/+4
2018-07-11- Improvements to import syntax [part 2].Eduardo Julian1-9/+15
2018-07-11- Improvements to import syntax [part 1].Eduardo Julian1-3/+1
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-1/+1
2018-07-10- Re-named path "lux/lang/*" to "lux/language/*".Eduardo Julian1-1/+1
2018-07-10- Re-named path "lux/data/coll/*" to "lux/data/collection/*".Eduardo Julian1-1/+1
2018-07-05- Re-named "equality" to "equivalence".Eduardo Julian1-10/+10
2018-05-20- Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian1-2/+2
2018-05-13- Added dedicated unicode support for text.Eduardo Julian1-1/+1
2018-05-05- Removed Void and Unit as kinds of types.Eduardo Julian1-4/+2
2018-04-05- Improved the syntax for the "lux.function" macro.Eduardo Julian1-4/+4
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian1-64/+64
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian1-6/+6
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian1-1/+1
2017-10-20- Replaced the "#seed" and "#times" options for "seed" and "times" test combi...Eduardo Julian1-79/+87
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian1-1/+1
2017-10-16- Re-named "Meta" type to "Ann".Eduardo Julian1-1/+1
2017-10-16- Re-named "Result" type back to "Error".Eduardo Julian1-28/+28
2017-09-19- Some refactoring.Eduardo Julian1-3/+3
2017-07-22- Removed the "M" suffix from monadic functions.Eduardo Julian1-3/+3
2017-06-26- Miscellaneous refactoring.Eduardo Julian1-3/+3
2017-06-21- Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian1-2/+2
2017-06-19- In lux/test, renamed "test:" to "context:", and "assert" to "test".Eduardo Julian1-48/+48
2017-05-29- Small refactorings.Eduardo Julian1-2/+2
2017-05-07- Changed the name of "let%" to "with-expansions".Eduardo Julian1-19/+21
2017-05-07- Removed "T" suffix from Type's tags.Eduardo Julian1-7/+7
2017-04-10- Renamed "LambdaT" to "FunctionT".Eduardo Julian1-1/+1
2017-04-10- Renamed "lambda" to "function".Eduardo Julian1-4/+4
2017-04-05- Moved lux/lexer and lux/lexer/regex to lux/data/text/lexer and lux/data/tex...Eduardo Julian1-2/+2
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
2016-12-27- Fixed a bug in a test.Eduardo Julian1-1/+1
2016-12-20- Updated tests and fixed code for lux/codata/struct/stream, lux/concurrency/...Eduardo Julian1-1/+8
2016-12-20- Improved tests (and added fixes) for lux/data/struct/vector, lux/type and l...Eduardo Julian1-9/+25
2016-12-15- Updated tests for lux/type.Eduardo Julian1-34/+130
2016-12-01- Collected the Lux compiler's repo, the Standard Library's, the Leiningen pl...Eduardo Julian1-0/+41
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-14 11:49:31 +0000