Skip to content

Repository / Directory Namespaces structure

Dimensions we should consider:

  • smglom/modules/semantic-macros, definitions, theorems, examples, maybe some lecture notes style exposition fragments
  • discipline (math, cs, physics... logic? programming? where do we draw the line?)
  • foundations? I at least would want them for more formal things, ideally with MMT rules etc. - where do they belong? (Also, MMT rules for the sTeX meta theory and the meta theory as a separate document itself need to live somewhere where they can generate omdoc)
  • ...?