idris-0.11: Functional Programming Language with Dependent Types
Idris.Core.WHNF
Description
Reduction to Weak Head Normal Form
Synopsis
whnf :: Context -> Term -> Term Source
Reduce a *closed* term to weak head normal form.
data WEnv Source
Instances