aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/type/check.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* No more "n/"-prefixed functions.Eduardo Julian2019-07-261-7/+7
* Re-name "lux/data/error" to "lux/control/try".Eduardo Julian2019-07-021-58/+58
* Improved type inference/checking.Eduardo Julian2019-05-281-2/+7
* - Improved error messaging when trying to access an unbound type-parameter du...Eduardo Julian2019-04-171-17/+4
* 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
* Created the "lux/abstract" branch and moved some modules into it.Eduardo Julian2019-04-061-2/+3
* 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-301-1/+1
* Changed the convention for the structure opening separator from "/" to ";", t...Eduardo Julian2019-03-151-23/+23
* Added the special # syntax for referring to the module's alias when opening s...Eduardo Julian2019-02-111-5/+5
* Changed the naming style for structures.Eduardo Julian2019-02-041-38/+38
* Re-named the "Error" tag to "Failure".Eduardo Julian2018-12-151-29/+29
* - 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
* Removed temporary "|" prefix on Nat.Eduardo Julian2018-07-281-3/+3
* Temporary commit to get rid of "+" signs for Nat.Eduardo Julian2018-07-281-3/+3
* Moved "lux/language/type/*" to "lux/type/*".Eduardo Julian2018-07-211-0/+683
* - Re-named "Lux" type to "Meta".Eduardo Julian2017-10-161-541/+0
* - Re-named "Result" type back to "Error".Eduardo Julian2017-10-161-82/+82
* - Small refactorings.Eduardo Julian2017-10-111-42/+42
* - Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident...Eduardo Julian2017-09-191-12/+12
* - Some refactoring.Eduardo Julian2017-09-191-4/+4
* - Simple types are no longer matched by their names, but by the types themsel...Eduardo Julian2017-09-041-16/+17
* - Small refactorings and fixes.Eduardo Julian2017-08-101-49/+49
* - Removed the "M" suffix from monadic functions.Eduardo Julian2017-07-221-7/+7
* - Miscellaneous refactoring.Eduardo Julian2017-06-261-1/+1
* - Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian2017-06-211-38/+11
* - Renamed "Error" to "Result".Eduardo Julian2017-05-171-65/+65
* - Small fixes and refactorings.Eduardo Julian2017-05-091-10/+15
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-071-31/+31
* - Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian2017-04-301-110/+149
* - Small refactorings and fixes.Eduardo Julian2017-04-301-16/+16
* - Simplified some of the documentation and error messages.Eduardo Julian2017-04-121-1/+1
* - Renamed "LambdaT" to "FunctionT".Eduardo Julian2017-04-101-2/+2
* - Renamed "lambda" to "function".Eduardo Julian2017-04-101-23/+23
* - Changed the license from MPL 2.0 to MIT.Eduardo Julian2017-01-261-5/+0
* - Moved the lux/data/struct/* modules to lux/data/coll/*.Eduardo Julian2017-01-251-2/+2
* - Updated the documentation of most modules left.Eduardo Julian2017-01-041-28/+33
* - ::: now has support for second-order structure selection.Eduardo Julian2016-12-291-1/+6
* - Updated tests for lux/type.Eduardo Julian2016-12-151-8/+8
* - Renamed "==" function to "is".Eduardo Julian2016-12-121-1/+1
* - Added tests for lux/math/ratio and lux/math/simple.Eduardo Julian2016-12-121-1/+1
* - Minor refactorings and expansions.Eduardo Julian2016-12-041-4/+4
* - Implemented macros for using math functions in an easier (unprefixed) way.Eduardo Julian2016-12-021-48/+48
* - Changed the names of math op functions to make them more consistent and sim...Eduardo Julian2016-12-021-9/+9
* - Collected the Lux compiler's repo, the Standard Library's, the Leiningen pl...Eduardo Julian2016-12-011-0/+518
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-17 21:43:57 +0000