aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/type (follow)
Commit message (Expand)AuthorAgeFilesLines
* No more "n/"-prefixed functions.Eduardo Julian2019-07-263-15/+16
* No more "i/"-prefixed functions.Eduardo Julian2019-07-251-15/+16
* Got rid of the "Number" abstraction.Eduardo Julian2019-07-241-5/+4
* Re-name "lux/data/error" to "lux/control/try".Eduardo Julian2019-07-022-63/+63
* Improved the convention for using text formatters.Eduardo Julian2019-06-204-26/+27
* Removed the (magical) "alias" annotations tag.Eduardo Julian2019-06-012-31/+50
* Improved type inference/checking.Eduardo Julian2019-05-281-2/+7
* Removed the (magical) "export?" annotations tag.Eduardo Julian2019-05-242-13/+15
* - Improved debugging machinery.Eduardo Julian2019-04-211-5/+12
* Moved the code/syntax parser under "lux/control/parser/".Eduardo Julian2019-04-194-17/+19
* - Improved error messaging when trying to access an unbound type-parameter du...Eduardo Julian2019-04-171-17/+4
* Simplified the "Order" signature.Eduardo Julian2019-04-171-15/+9
* Made some fixes the the type-checker, to properly handle the situation of typ...Eduardo Julian2019-04-161-77/+121
* More improvements to error messages.Eduardo Julian2019-04-151-41/+29
* Moved "lux/cli", "lux/io" and "lux/function" under "lux/control".Eduardo Julian2019-04-061-2/+2
* Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian2019-04-066-10/+15
* Changed the order of the inputs to the common extensions.Eduardo Julian2019-04-041-25/+25
* Re-named "do-template" to "template".Eduardo Julian2019-03-306-13/+13
* Ported tests for type-related modules.Eduardo Julian2019-03-242-32/+32
* Ported tests for time-related modules.Eduardo Julian2019-03-231-1/+3
* Changed the convention for the structure opening separator from "/" to ";", t...Eduardo Julian2019-03-155-64/+64
* Replaced the digit separator in numbers from "_" to ",".Eduardo Julian2019-03-131-6/+6
* Re-defined the "type" macros in terms of ":by-example".Eduardo Julian2019-03-122-56/+15
* Removed the "translation/common" hierarchy.Eduardo Julian2019-03-062-4/+2
* Added the special # syntax for referring to the module's alias when opening s...Eduardo Julian2019-02-115-14/+14
* Changed the naming style for structures.Eduardo Julian2019-02-048-119/+119
* Some documentation for dynamic typing.Eduardo Julian2019-01-241-1/+5
* Added dynamic typing.Eduardo Julian2019-01-241-0/+39
* - WIP: Expansion of CSS machinery.Eduardo Julian2019-01-222-21/+20
* Added a module for type-parameter variance.Eduardo Julian2019-01-211-0/+11
* Can now define nested abstract types.Eduardo Julian2019-01-061-136/+164
* Some minor refactoring.Eduardo Julian2019-01-021-0/+1
* Added contravariant functors.Eduardo Julian2018-12-251-0/+2
* No longer relying on "signature:"'s and "structure:"'s internal macro-expansi...Eduardo Julian2018-12-151-11/+11
* Re-named the "Error" tag to "Failure".Eduardo Julian2018-12-153-35/+35
* Some small improvements.Eduardo Julian2018-12-051-8/+15
* - Some refactoring.Eduardo Julian2018-10-131-78/+67
* More micro-optimizations.Eduardo Julian2018-08-291-58/+48
* Micro-optimizations.Eduardo Julian2018-08-281-19/+32
* No more escaping of new-line.Eduardo Julian2018-08-231-2/+4
* Replace the error-prone "n/range" calls with "indices".Eduardo Julian2018-08-021-3/+3
* Removed temporary "|" prefix on Nat.Eduardo Julian2018-07-283-9/+9
* Added "+" sign to positive Int.Eduardo Julian2018-07-281-8/+8
* Temporary commit to get rid of "+" signs for Nat.Eduardo Julian2018-07-283-9/+9
* Re-named "seq" to "and" and "alt" to "or".Eduardo Julian2018-07-214-6/+6
* Re-named "name-for" to "name-of".Eduardo Julian2018-07-212-2/+2
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-215-31/+31
* Added macros for specifying implicits either at the module level, or at the l...Eduardo Julian2018-07-211-19/+45
* Got rid of Object-Oriented Programming modules.Eduardo Julian2018-07-212-673/+0
* Re-named "Ident" to "Name".Eduardo Julian2018-07-215-41/+42
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-12 16:01:56 +0000