git.iko.soy/elk
on c19ccfe help sign in
elk/compiler/Type/Constrain
4 files
../ Declaration.hsUse letters for arguments in adt constructors Expression.hsChange functions for creating type variables, distinguish names of different constraint type variables 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