= Design Discussions =

This page is dedicated to overall design discussions. Please add new topic as you need it.

  * CombinatorialClass
  * WordDesign
  * LanguagesDesign
  * CategoryFrameworkAndCleanup  
  * HeckeAlgebras
  * MathsAuLycee
  * ContainmentDiscussion