GitHub / agda / agda-data-bindings
Agda bindings for low-level datatypes such as raw naturals and bytestrings
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-data-bindings
Stars: 5
Forks: 1
Open issues: 0
License: mit
Language: Agda
Size: 8.79 KB
Dependencies parsed at: Pending
Created at: almost 14 years ago
Updated at: about 1 year ago
Pushed at: over 6 years ago
Last synced at: about 1 year ago
Loading...