Agda-2.7.0.1: A dependently typed functional programming language and proof assistant
Safe HaskellNone
LanguageHaskell2010

Agda.Utils.IArray

Description

Array utilities.

Documentation

module Data.Array.IArray