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

[Ana Bove]

Hi,

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

Best

-- 
-- Ana

************************************************************************
                                ANA  BOVE
 bove(at)cs.chalmers.se  Department of Computer Science and Engineering
 http://www.cs.chalmers.se/~bove      Chalmers University of Technology
 Phone (work) :(46)(31) 772 10 20          and University of Gothenburg
 Fax (work)   :(46)(31) 772 36 63        S-412 96 Gothenburg  -  SWEDEN
************************************************************************

-------------- next part --------------
An embedded message was scrubbed...
From: "Robert J. Simmons" <rjsimmon at cs.cmu.edu>
Subject: [TYPES/announce] New Twelf Wiki
Date: Wed, 21 Mar 2007 11:08:57 -0400
Size: 4699
Url: https://lists.chalmers.se/mailman/private/agda/attachments/20070322/d3ddd34b/announceNewTwelfWiki.mht