Dinwiddy.UnsafeArray

Definitions

UnsafeArray : Nat -> Type -> Type

  A type-unsafe array, based on List.
  Example usage:
  ```
  x : UnsafeArray 2 Int
  ```
  Will create a type for 2-dimensional infinite arrays.
  Please don't use this type, unless absolutely necessary,
  because lengths are not indexed in the type. This type is
  based off of Idris' Lists.

Visibility: public export