User loginNavigation |
archivesThe Church Project
http://types.bu.edu or http://www.church-project.org
We previously linked to a document on this site, but not the site itself. By Andris Birkmanis at 2005-02-08 17:24 | Lambda Calculus | Type Theory | 3 comments | other blogs | 6497 reads
WikicitiesFollowing the CTM wiki and GCC wiki announcements, and the expression of interest in all kinds of new PL wikis, a pointer to the wikicities service may be in order: it's essentially an extension of the wikipedia project which is meant to support topic-oriented communities. I guess the Wikicity creation policy is the main thing to bear in mind when thinking whether a wikicity is the best way to launch your ultimate PL enlightenment portal. |
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 3 days ago
51 weeks 3 days ago