git.iko.soy/elk
on abb4bc0 help sign in
elk/compiler/Type/Constrain
4 files
../ Declaration.hsUse letters for arguments in adt constructors Expression.hsRemove dead code Literal.hsChange functions for creating type variables, distinguish names of different constraint type variables Pattern.hsChange functions for creating type variables, distinguish names of different constraint type variables