We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
There was an error while loading. Please reload this page.