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

Marcin Benke marcin.benke at gmail.com
Wed Mar 28 11:06:42 CEST 2007


On 3/22/07, Ana Bove <bove at cs.chalmers.se> wrote:
> Hi,
>
> Seems like something we could have, a wiki for Agda so users can add
> their examples and find information and latest news...
>
> Best
>

We could use the wiki at coverproject.org. (there is an Agda node
there already, albeit rather poor:
http://coverproject.org/Wiki/oddmuse.cgi/Agda ) Alternatively I can
set up a new wiki at the same machine (or somewhere else - who knows
how long dilbert will last). Then we could think of a new domain
name...


-- 
Marcin Benke


More information about the Agda mailing list