Idris.Core.WHNF
whnf
whnfArgs
data
WEnv