[Agda] --sharing

Sergei Meshveliani mechvel at botik.ru
Sat Oct 3 17:58:21 CEST 2015

Previous message: [Agda] TYPES 2015 post-proceedings open call for papers (reminder)
Next message: [Agda] --sharing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Please,

is sharing possible in Agda 2.4.2.4  ?
How to use it?

Thanks,

------
Sergei

Previous message: [Agda] TYPES 2015 post-proceedings open call for papers (reminder)
Next message: [Agda] --sharing
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list