GitHub repository: mattpolzin/idris-snocvect
Primary language: Idris
Created: 2022-01-08T07:51:00Z
Description: SnocVect type and companions