[Agda] Nat -iso- Bin

Nils Anders Danielsson nad at cse.gu.se
Wed Oct 30 16:35:17 CET 2013

Previous message: [Agda] Nat -iso- Bin
Next message: [Agda] How to cite Agda?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2013-10-29 19:51, Sergei Meshveliani wrote:
> Please, has  lib-0.7  something for the isomorphism  ℕ <-> Bin ?

No.

-- 
/NAD

Previous message: [Agda] Nat -iso- Bin
Next message: [Agda] How to cite Agda?
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list