aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/type/abstract.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2017-12-02- Added context-sensitive macro-expansion by means of "lux in-module", and re...Eduardo Julian1-5/+5
2017-12-01- Changed some of the syntax for macro templating.Eduardo Julian1-10/+10
2017-11-29- Re-named lux/type/opaque to lux/type/abstract.Eduardo Julian1-7/+7
2017-11-29- Changed the identifier separator, from the semi-colon (;) to the period/dot...Eduardo Julian1-57/+57
2017-11-27- Changed the syntax involved in JVM host-interop.Eduardo Julian1-3/+3
2017-11-27- Got rid of even more dots.Eduardo Julian1-3/+3
2017-11-22- Fixed some bugs.Eduardo Julian1-20/+22
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian1-27/+27
2017-11-15- Moved "/type/*" to from "lux/meta/" to "lux/".Eduardo Julian1-0/+0
2017-10-20- Re-named "Host" to "Primitive".Eduardo Julian1-1/+1
2017-10-16- Re-named "Lux" type to "Meta".Eduardo Julian1-29/+29
2017-10-16- Re-named "Result" type back to "Error".Eduardo Julian1-3/+3
2017-10-11- Eliminated the Anns and Ann-Value types, and now only using Code for defini...Eduardo Julian1-11/+11
2017-09-19- Changed the terminology of monoids ("append" -> "compose", "unit" -> "ident...Eduardo Julian1-7/+7
2017-08-21- Renamed "model" to "opaque".Eduardo Julian1-7/+7
2017-07-31- Added formatters for JSON, XML and time types.Eduardo Julian1-14/+14
2017-07-29- Fuxed a bug when generating module code, where the type-vars were not getti...Eduardo Julian1-1/+1
2017-07-29- Added annotation support to units and models.Eduardo Julian1-0/+1
2017-07-25- Models now only rely on normal (inline) casting functions. Hopefully, in th...Eduardo Julian1-16/+8
2017-07-24- No longer defining hidden casting functions. Instead, inline functions are ...Eduardo Julian1-35/+18
2017-07-24- Added models as a mechanism to encode nominal types.Eduardo Julian1-0/+188
generated by cgit v1.2.3 (git 2.25.1) at 2024-09-13 19:53:16 +0000