git.iko.soy/elk
on b1f53d0 help sign in
elk/compiler/Type
1 folder, 8 files
../ Constrain/Pipe source locations through the type checker Environment.hsMove the definition of the Signal type out of the compiler and into the Signal library Fragment.hsPipe source locations through the type checker Inference.hsPipe source locations through the type checker PrettyPrint.hsAdd CSaveEnv, optimize CAnd, make it prettier Solve.hsPipe source locations through the type checker State.hsMake error messages nicer Type.hsPipe source locations through the type checker Unify.hsSupport appendable types