bendy / bytestring-fiat Goto Github PK
View Code? Open in Web Editor NEWThis project forked from jwiegley/bytestring-fiat
An implementation of the Haskell ByteString library using the Fiat system from MIT
Home Page: http://plv.csail.mit.edu/fiat/
License: Other