[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