active wiki

Wiki's are very interesting, as they allow for the submission of content and organizing it. But it is largely passive.

TKCS supports type definitions and operations, allowing for the development of a very active system.

Building an extensible Wiki over TKCS then gives us facilities for defining an active system and easily managing its content. The key, I believe, is to allow for different types of Wiki pages, with various operations (and content) being defined for each type of page.