[Agda] all-P ?
Nils Anders Danielsson
nad at cse.gu.se
Fri Aug 15 18:31:16 CEST 2014
On 2014-08-13 20:16, Sergei Meshveliani wrote:
> Has Standard library something like all-P ?
all-P follows from tabulate.
--
/NAD
More information about the Agda
mailing list