GitHub repository: mattpolzin/idris-fvect
Primary language: Idris
Created: 2020-11-28T21:31:17Z
Description: A Fin-based Vect (can be thought of as having both a current length and maximum capacity)