mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-18 08:42:11 +03:00
1c576cb068
Backed by Data.IOArray. Also moved the array external primitives to a separate module Data.IOArray.Prims, since the next step is to add a linear bounded array type where the bounds checks are done at compile time, so we'll want to read and write without bounds likes. |
||
---|---|---|
.. | ||
Control | ||
Data | ||
Language | ||
Syntax | ||
System | ||
Text | ||
contrib.ipkg | ||
Makefile |