git.iko.soy/elk
on 028d2ec help sign in
elk/elm/src/Types
5 files
../ Constrain.hsFix bug in `concretize` in which a fold uses the base for every step instead of accumulating the result (i.e. `t` becomes `t'`). One character mistakes are the worst! Let-polymorphism should be working for everything now! FINALLY! Mabye... Hints.hsChange module names in Types/ to include Types prefix. Work on getting let-polymorphism correct. Substitutions.hsFix bug in `concretize` in which a fold uses the base for every step instead of accumulating the result (i.e. `t` becomes `t'`). One character mistakes are the worst! Let-polymorphism should be working for everything now! FINALLY! Mabye... Types.hsChange module names in Types/ to include Types prefix. Work on getting let-polymorphism correct. Unify.hsFix bug in `concretize` in which a fold uses the base for every step instead of accumulating the result (i.e. `t` becomes `t'`). One character mistakes are the worst! Let-polymorphism should be working for everything now! FINALLY! Mabye...