Detecting the undetectable: custom type errors for stuck type families – ( ) - discu.eu

Reddit

Detecting the undetectable: custom type errors for stuck type families https://kcsongor.github.io/report-stuck-families/ 13 comments 30/11/2018 haskell

Linking pages

Lorentz: Introducing Complex Objects with Haskell Generics https://serokell.io/blog/lorentz-complex-objects 0 comments

Linked pages

[1706.09715] Constrained Type Families https://arxiv.org/abs/1706.09715 5 comments

Would you like to stay up to date with Haskell? Checkout Haskell Weekly.

Related searches:

Search whole site: site:kcsongor.github.io

Search title: Detecting the undetectable: custom type errors for stuck type families – ( )

See how to search.

Submit link to: