Skip to content

Latest commit

 

History

History
10 lines (8 loc) · 421 Bytes

README.md

File metadata and controls

10 lines (8 loc) · 421 Bytes

bytes

Agda FFI bindings to Haskell ByteString and Word8.

Word8

The following functions are supported: _==_, _/=_, _xor_, _or_, _and_ and conversion to and from Nat.

ByteString

A few common functions are supported: empty, null, length, unsafeIndex, unsafeSplitAt, _++_, pack, unpack, file I/O. Strict and Lazy ByteStrings are supported. Tested with bytestring-0.10.8.2.