Blamesphemy

Blame calculus implementation in Haskell. (Well, it's gradual typing implementation so far...).

Note

Requires some features that not yet merged to GHC.

Acknowledgements

Thanks for others that contributed (which may not necessarily be reflected in the commit history):

• Shayan Najd for showing how to avoid undefined when using Data.Proxy,
• Garrett Morris for explaining how to use extensible variants to implement casts.