[Agda] trouble with let and where

effectfully effectfully at gmail.com
Thu Nov 26 14:07:17 CET 2015


Also, could someone say why it's not possible to `postulate' in a
let-declaration?


More information about the Agda mailing list