Re: [Haskell-cafe] how to make a KnownNat at runtime?

On 14.11.2017 17:20, Greg Horn wrote:

http://hackage.haskell.org/package/reflection-2.1.2/docs/Data-Reflection.htm...

Thanks! That is exactly what I want. - J. main :: IO () main = getArgs >>= \ case [ s ] -> reifyNat (read s :: Integer) handle handle :: forall (n::Nat) . KnownNat n => Proxy n -> IO () ...