16 Oct
2016
16 Oct
'16
4:21 a.m.
Hello everyone, Sylvain Henry just opened Pull Request #22 [1] against the ghc-proposals repository. This proposal describes a type family which would given users access to type-level evidence of the satisfiability of a constraint. Please feel free to read and discuss the proposal on the pull request. Cheers, - Ben [1] https://github.com/ghc-proposals/ghc-proposals/pull/22