aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/type.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* No more escaping of new-line.Eduardo Julian2018-08-231-2/+2
* Moved "Array" type back into "lux/data/collection/array".Eduardo Julian2018-08-031-1/+2
* 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
* Re-named "seq" to "and" and "alt" to "or".Eduardo Julian2018-07-211-3/+3
* Re-named "Symbol" to "Identifier".Eduardo Julian2018-07-211-5/+5
* Re-named "Ident" to "Name".Eduardo Julian2018-07-211-6/+6
* Moved "lux/language/type/*" to "lux/type/*".Eduardo Julian2018-07-211-0/+391
* - Re-named "Lux" type to "Meta".Eduardo Julian2017-10-161-354/+0
* - Small refactorings.Eduardo Julian2017-10-111-0/+6
* - Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident...Eduardo Julian2017-09-191-17/+17
* - Some refactoring.Eduardo Julian2017-09-191-2/+2
* - Removed the "M" suffix from monadic functions.Eduardo Julian2017-07-221-3/+3
* - Can now generate Eq instances for #rec-style recursive types.Eduardo Julian2017-07-151-1/+1
* - Miscellaneous refactoring.Eduardo Julian2017-06-261-17/+22
* - Renamed "App" to "Apply" and swapped the order of the arguments to it.Eduardo Julian2017-06-211-13/+13
* - Small refactorings.Eduardo Julian2017-05-291-4/+4
* - Renamed "AST" to "Code".Eduardo Julian2017-05-071-5/+5
* - Removed "T" suffix from Type's tags.Eduardo Julian2017-05-071-47/+47
* - Small refactorings and fixes.Eduardo Julian2017-04-301-0/+18
* - Renamed "LambdaT" to "FunctionT".Eduardo Julian2017-04-101-6/+6
* - Renamed "lambda" to "function".Eduardo Julian2017-04-101-3/+3
* - 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-6/+6
* - ::: now has support for second-order structure selection.Eduardo Julian2016-12-291-11/+4
* - Improved tests (and added fixes) for lux/data/struct/vector, lux/type and l...Eduardo Julian2016-12-201-3/+3
* - Better formatting for types and lists.Eduardo Julian2016-12-181-7/+7
* - Updated tests for lux/type.Eduardo Julian2016-12-151-9/+38
* - Minor refactorings and expansions.Eduardo Julian2016-12-041-15/+31
* - Changed the names of math op functions to make them more consistent and sim...Eduardo Julian2016-12-021-3/+3
* - Bug fixes, refactorings and minor expansions.Eduardo Julian2016-12-011-40/+57
* - Collected the Lux compiler's repo, the Standard Library's, the Leiningen pl...Eduardo Julian2016-12-011-0/+275
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-28 03:53:36 +0000