[Agda] trouble with let and where
effectfully
effectfully at gmail.com
Thu Nov 26 14:07:17 CET 2015
Previous message:
[Agda] trouble with let and where
Next message:
[Agda] trouble with let and where
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Also, could someone say why it's not possible to `postulate' in a let-declaration?
Previous message:
[Agda] trouble with let and where
Next message:
[Agda] trouble with let and where
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list