GitHub repository: jwiegley/bytestring-fiat
Primary language: Coq
Created: 2016-06-16T00:25:22Z
Description: An implementation of the Haskell ByteString library using the Fiat system from MIT