Extract type inference as self-contained package
Similar to Maltes case-transformation implementation, it would be nice to have the type inference implementation as a Haskell package as well.
Edited by Ghost User
Similar to Maltes case-transformation implementation, it would be nice to have the type inference implementation as a Haskell package as well.