Proving properties of type-level natural numbers obtained from user input

Bas van Dijk v.dijk.bas at
Wed Nov 26 07:19:13 UTC 2014

On 25 November 2014 at 19:34, Richard Eisenberg <eir at> wrote:
> If I were you, I would just write `g` using unsafeCoerce in the right spot, instead of bothering with all the singletons, which would have to use unsafety anyway.

Thanks, I hadn't considered this yet.



More information about the Glasgow-haskell-users mailing list