[Agda] new code for agda repository

[jeff polakow]

Hello,

Can I be subscribed to this list? The web interface wasn't working for
me. 

Also, I have some code which should be added to the agda cvs repository-
an implementation of a typechecker for a logical framework with
dependently typed records; can someone tell me how to go about adding
this code to the repository.

Thanks

Jeff Polakow
JST CREST researcher
AIST Research Center for Verification and Semantics
email: j-polakow at aist.go.jp