aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/analysis/type.lux (follow)
Commit message (Expand)AuthorAgeFilesLines
* - Migrated special-form analysis to stdlib.Eduardo Julian2018-05-231-27/+0
* - Re-named "Top" to "Any", and "Bottom" to "Nothing".Eduardo Julian2018-05-201-1/+1
* - Adapted main codebase to the latest syntatic changes.Eduardo Julian2017-11-291-9/+9
* - Re-named "lux/meta" to to "lux/macro".Eduardo Julian2017-11-151-3/+3
* - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".Eduardo Julian2017-11-151-1/+1
* - Moved "luxc/lang/syntax" to "lux/lang/syntax".Eduardo Julian2017-11-151-2/+2
* - Heavy refactoring.Eduardo Julian2017-11-151-1/+1
* - Improved handling of type variables.Eduardo Julian2017-11-131-6/+2
* - Type-vars no longer get deleted.Eduardo Julian2017-11-131-6/+6
* - Fixed some bugs.Eduardo Julian2017-11-121-8/+8
* - Re-organized analysis.Eduardo Julian2017-10-311-0/+31