git.iko.soy/elk
on fcbd7fd help sign in
elk/compiler/Type/Constrain
4 files
../ Declaration.hsAdd basics of "deriving" for ADTs and type aliases. Only parse it for type aliases at the moment. Expression.hsImplement markdown interpolation Literal.hsAdd Strings as a primitive in the compiler Pattern.hsStop using `error` when constraining patterns and when instantiating source types