Agda.Syntax.Strict
Documentation
class Strict a where
force
is the recursive const 0
function, to force Haskell to evaluate.
Agda-2.2.10: A dependently typed functional programming language and proof assistant
Agda.Syntax.Strict
class Strict a where
force
is the recursive const 0
function, to force Haskell to evaluate.