agda-parametricity


1 packages depend on agda-parametricity:

agda-nplib
Extension of agda-stdlib
Latest release 0.0.1 - Published - 8 stars