Agda
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.IArray

Description

Array utilities.

Documentation