> How can I convert an Integer into a Proxy (n :: KnownNat)
> with n equal to the integer?
Data.Reflection.reifyNat ?
https://mail.haskell.org/pipermail/haskell-cafe/2017- November/128152.html
- J.W.
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell- cafe
Only members subscribed via the mailman list are allowed to post.