[Agda] lost fixity of ≈
Nils Anders Danielsson
nad at cse.gu.se
Tue Dec 11 14:53:02 CET 2018
Previous message (by thread):
[Agda] lost fixity of ≈
Next message (by thread):
[Agda] lost fixity of ≈
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
On 11/12/2018 13.38,
mechvel at scico.botik.ru
wrote: >
Is this a bug in Agda ?
No. -- /NAD
Previous message (by thread):
[Agda] lost fixity of ≈
Next message (by thread):
[Agda] lost fixity of ≈
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list