[Agda] [Fwd: [TYPES/announce] New Twelf Wiki]

[Norio KATO]

Dear colleagues,

Ana Bove wrote:
> Seems like something we could have, a wiki for Agda so users can add 
> their examples and find information and latest news...

Please notify us if someone starts a wiki, so
we can add a link from our Agda web site at AIST/CVS.

Best regards,
--
Norio KATO

Research Center for Verification and Semantics,
National Institute of Advanced Industrial Science and Technology