aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/type/check.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2017-09-04- Simple types are no longer matched by their names, but by the types themsel...Eduardo Julian1-16/+17
2017-08-10- Small refactorings and fixes.Eduardo Julian1-49/+49
2017-07-22- Removed the "M" suffix from monadic functions.Eduardo Julian1-7/+7
2017-06-26- Miscellaneous refactoring.Eduardo Julian1-1/+1
2017-06-21- Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian1-38/+11
2017-05-17- Renamed "Error" to "Result".Eduardo Julian1-65/+65
2017-05-09- Small fixes and refactorings.Eduardo Julian1-10/+15
2017-05-07- Removed "T" suffix from Type's tags.Eduardo Julian1-31/+31
2017-04-30- Updated the compiler's type-checking context to match it with lux/type/check.Eduardo Julian1-110/+149
2017-04-30- Small refactorings and fixes.Eduardo Julian1-16/+16
2017-04-12- Simplified some of the documentation and error messages.Eduardo Julian1-1/+1
2017-04-10- Renamed "LambdaT" to "FunctionT".Eduardo Julian1-2/+2
2017-04-10- Renamed "lambda" to "function".Eduardo Julian1-23/+23
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-04- Updated the documentation of most modules left.Eduardo Julian1-28/+33
2016-12-29- ::: now has support for second-order structure selection.Eduardo Julian1-1/+6
2016-12-15- Updated tests for lux/type.Eduardo Julian1-8/+8
2016-12-12- Renamed "==" function to "is".Eduardo Julian1-1/+1
2016-12-12- Added tests for lux/math/ratio and lux/math/simple.Eduardo Julian1-1/+1
2016-12-04- Minor refactorings and expansions.Eduardo Julian1-4/+4
2016-12-02- Implemented macros for using math functions in an easier (unprefixed) way.Eduardo Julian1-48/+48
2016-12-02- Changed the names of math op functions to make them more consistent and sim...Eduardo Julian1-9/+9
2016-12-01- Collected the Lux compiler's repo, the Standard Library's, the Leiningen pl...Eduardo Julian1-0/+518
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-18 01:39:08 +0000