GitHub / input-output-hk / iog-agda-prelude

Supplementary types and functions for the Agda prelude

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/input-output-hk%2Fiog-agda-prelude
PURL: pkg:github/input-output-hk/iog-agda-prelude

Stars: 3
Forks: 1
Open issues: 3

License: apache-2.0
Language: Agda
Size: 57.6 KB
Dependencies parsed at: Pending

Created at: about 1 year ago
Updated at: 6 days ago
Pushed at: 6 days ago
Last synced at: about 13 hours ago

Topics: agda, formal-methods

Loading...