[Agda] anonymous modules

Sergei Meshveliani mechvel at botik.ru
Thu Dec 5 15:22:19 CET 2013

Previous message: [Agda] decidable _∈_
Next message: [Agda] ITP 2015 - Call for Bids
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Anonymous modules help more than I expected. A usable thing.
Thanks,

------
Sergei

Previous message: [Agda] decidable _∈_
Next message: [Agda] ITP 2015 - Call for Bids
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list