git.iko.soy/elk
on 368cdbc 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.hsUpdate unification for new union-find algorithm UnionFind.hsBetter behavior when unifying with yourself