git.iko.soy/elk
on 1753583 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.hsMove type annotations out of Environment and into the Basics library 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.hsSwitch formatting for language pragmas State.hsSwitch formatting for language pragmas 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