aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/type/check.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2018-07-10- Improvements to import syntax [part 0].Eduardo Julian1-5/+5
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-2/+2
2018-07-10- Re-organized dictionary & set modules a bit.Eduardo Julian1-1/+1
2018-07-10- Re-named "struct:" to "structure:".Eduardo Julian1-3/+3
2018-07-05- Re-named "equality" to "equivalence".Eduardo Julian1-3/+3
2018-07-04- Re-named Bound to Paremeter.Eduardo Julian1-1/+1
2018-05-26- WIP: Migrated synthesis to stdlib.Eduardo Julian1-8/+6
2018-05-20- Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian1-8/+8
2018-05-13- Added new #I64 type as foundation for types based on 64-bit integers.Eduardo Julian1-3/+7
2018-05-05- Removed Void and Unit as kinds of types.Eduardo Julian1-15/+12
2018-05-02- Made the names of all exceptions lower-case.Eduardo Julian1-15/+15
2018-05-02- Re-named "Applicative" to "Apply".Eduardo Julian1-2/+2
2018-05-02- Moved the "wrap" function into Monad, and removed Applicative from Monad's ...Eduardo Julian1-5/+5
2018-05-01- Re-organized set modules.Eduardo Julian1-1/+1
2018-04-05- Improved the syntax for the "lux.function" macro.Eduardo Julian1-27/+27
2018-04-05- Re-named "is" to "is?".Eduardo Julian1-1/+1
2018-02-07- Improved the way exceptions work.Eduardo Julian1-24/+30
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian1-199/+199
2017-11-27- Changed the prefixes of numeric functions.Eduardo Julian1-10/+10
2017-11-20- Added parallel compilation.Eduardo Julian1-0/+10
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian1-1/+1
2017-11-15- Moved type-cleaning to lux/meta/type/check.Eduardo Julian1-1/+37
2017-11-14- Yet more refactoring.Eduardo Julian1-138/+87
2017-11-13- Improved handling of type variables.Eduardo Julian1-10/+21
2017-11-13- Type-vars no longer get deleted.Eduardo Julian1-90/+19
2017-11-12- Fixed some bugs.Eduardo Julian1-143/+182
2017-10-22- Fixed some type-checking errors.Eduardo Julian1-20/+31
2017-10-21- Added circular rings of type-variables to keep track of unified variables d...Eduardo Julian1-111/+261
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-3/+3
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian1-1/+1
2017-10-16- Re-named "Result" type back to "Error".Eduardo Julian1-82/+82
2017-10-11- Small refactorings.Eduardo Julian1-42/+42
2017-09-19- Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident...Eduardo Julian1-12/+12
2017-09-19- Some refactoring.Eduardo Julian1-4/+4
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
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-14 13:09:32 +0000