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