15 Aug
2018
15 Aug
'18
3:32 p.m.
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.