[Agda] List archives
Robin Green
greenrd at greenrd.org
Fri Sep 25 15:33:37 CEST 2009
Previous message:
[Agda] RE: Z in constructive type theory
Next message:
[Agda] List archives
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Why are the agda list archives members-only? Will this restriction be removed at some point?
Previous message:
[Agda] RE: Z in constructive type theory
Next message:
[Agda] List archives
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Agda mailing list