Agda-2.8.0: A dependently typed functional programming language and proof assistant
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Agda.Utils.IArray
Description
Array utilities.
Documentation
module
Data.Array.IArray