aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/type.lux (unfollow)
Commit message (Expand)AuthorFilesLines
2018-05-23- Migrated special-form analysis to stdlib.Eduardo Julian1-27/+0
2018-05-20- Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian1-1/+1
2017-11-29- Adapted main codebase to the latest syntatic changes.Eduardo Julian1-9/+9
2017-11-15- Re-named "lux/meta" to to "lux/macro".Eduardo Julian1-3/+3
2017-11-15- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian1-1/+1
2017-11-15- Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian1-2/+2
2017-11-15- Heavy refactoring.Eduardo Julian1-1/+1
2017-11-13- Improved handling of type variables.Eduardo Julian1-6/+2
2017-11-13- Type-vars no longer get deleted.Eduardo Julian1-6/+6
2017-11-12- Fixed some bugs.Eduardo Julian1-8/+8
2017-10-31- Re-organized analysis.Eduardo Julian1-0/+0
2017-10-18- Updated to the latest changes in stdlib.Eduardo Julian1-8/+8
2017-10-11- Migrated new-luxc to latest version of stdlib.Eduardo Julian1-4/+4
2017-05-30- Documented the analysis phase.Eduardo Julian1-1/+3
2017-05-15WIPEduardo Julian1-0/+29