TS Linux x86-64

First implementation of the Stellogen metaprogramming language for stellar resolution using Large Star Collider interpretater.

Features:

• print messages and constellations with print <id> or print <constellation>
• define constellations with def <id> <constellation> end?

To be implemented:

• Better handling of error messages
• Inductives macros for formulas, terms and interactive tactics
• Definition of orthogonality relations
• Effects directly integrated in stellar resolution, triggered by local interaction
• Logical system definition and lock (module system)