input-output-hk/iog-agda-prelude

Supplementary types and functions for the Agda prelude

GitHub repository with 5 stars and 1 forks.

Language: Agda

Topics: agda, formal-methods

Open provider repository