GitHub repository: ramirez7/idris-hlist-scratch
Primary language: Idris
Created: 2015-09-13T21:03:12Z
Description: Scratch work for operations on hlists/hvects in Idris