git.iko.soy/elk
on 65aa02a help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Name changes for simpler Type representation Environment.hsStart using strict State and Writer Inference.hsName changes for simpler Type representation Occurs.hsMove the occurs check into its own module Solve.hsMove the occurs check into its own module State.hsUpdate for new Type representation Type.hsStart using strict State and Writer Unify.hsDetect infinite comparable types UnionFind.hsBetter behavior when unifying with yourself