Agda Data Bindings Library ========================== Simple bindings for low-level data such as native natural numbers and bytestrings.
Agda bindings for low-level datatypes such as raw naturals and bytestrings
Agda Data Bindings Library ========================== Simple bindings for low-level data such as native natural numbers and bytestrings.
Agda bindings for low-level datatypes such as raw naturals and bytestrings
MIT License