Agda-2.2.8: A dependently typed functional programming language and proof assistant
class Strict a whereSource
force is the recursive const 0 function, to force Haskell to evaluate.
force :: a -> IntSource
($!!) :: Strict a => (a -> b) -> a -> bSource
strict :: Strict a => a -> aSource
Produced by Haddock version 2.8.1