GitHub repository: ziman/idris-bytes
Primary language: Idris
Created: 2015-03-16T16:26:10Z
Description: FFI-based byte buffers for Idris