[Agda] unzip

Serge D. Mechveliani mechvel at botik.ru
Tue Dec 10 13:35:16 CET 2013

Previous message: [Agda] Research Fellowship at Leeds
Next message: [Agda] (\ x , e → x ^ e)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Observation:
Data.List  in lib-0.7  has `zip' and has not `unzip'.  

Regards,

------
Sergei

Previous message: [Agda] Research Fellowship at Leeds
Next message: [Agda] (\ x , e → x ^ e)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list