[Agda] --sharing

Andrés Sicard-Ramírez asr at eafit.edu.co
Sat Oct 3 18:22:50 CEST 2015

Previous message: [Agda] --sharing
Next message: [Agda] type check cost
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

2015-10-03 10:58 GMT-05:00 Sergei Meshveliani <mechvel at botik.ru>:
> is sharing possible in Agda 2.4.2.4  ?

No.

-- 
Andrés

Previous message: [Agda] --sharing
Next message: [Agda] type check cost
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list