agda/agda-data-bindings
Agda bindings for low-level datatypes such as raw naturals and bytestrings
AgdaMIT
No issues in this repository yet.
Agda bindings for low-level datatypes such as raw naturals and bytestrings
AgdaMIT
No issues in this repository yet.