Agda bindings for low-level datatypes such as raw naturals and bytestrings - View it on GitHub