git.iko.soy/elk
on d7cdace help sign in
elk/compiler/Type/Constrain
4 files
../ Declaration.hsUse letters for arguments in adt constructors Expression.hsGet rid of dead function and give instantiateTypeWithContext a shorter name 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