[Agda] eta expansion
Martin Escardo
m.escardo at cs.bham.ac.uk
Fri Mar 8 15:46:58 CET 2013
Previous message:
[Agda] Termination checking regression (Matrix-shaped orders?)
Next message:
[Agda] eta expansion
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Is it possible to disable the eta expansion for definitional equality in Agda?
Previous message:
[Agda] Termination checking regression (Matrix-shaped orders?)
Next message:
[Agda] eta expansion
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list