-
Fredrik Wieczerkowski authored
- Improve normalization of type variables in FlatCurry - Fix KindInference - Remove trExpr QualTypeExpr branch that caused the tests to run indefinitely Co-authored-by: Finn Teegen <fte@informatik.uni-kiel.de>
1a789345