git.iko.soy/elk
on e702370 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Change functions for creating type variables, distinguish names of different constraint type variables Environment.hsChange functions for creating type variables, distinguish names of different constraint type variables Fragment.hsFix type constraints for case-expressions Inference.hsChange functions for creating type variables, distinguish names of different constraint type variables PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsChange functions for creating type variables, distinguish names of different constraint type variables State.hsChange functions for creating type variables, distinguish names of different constraint type variables Type.hsChange functions for creating type variables, distinguish names of different constraint type variables Unify.hsChange functions for creating type variables, distinguish names of different constraint type variables