[Agda] module _{a b}

Sergei Meshveliani mechvel at botik.ru
Sat Mar 10 21:28:01 CET 2018


I do not know, this looks like a typo in Standard library
Data.List.All.Properties :

 -- map
  
 module _{a b} ...

(it works, though).

--
SM



More information about the Agda mailing list