Introduction

Cosmo is a language replacing awful C++‘s compile-time magics. This is only some thinking about getting rid of C++ under the fact that we cannot get rid of using C++ libraries.

• Syntax
• BNF Specification
• Trait Design
• Method Call Design
• Effect Design Notes
• Async Design Notes
• Generator Design Notes
• MLTT Type Checking Guidance
• MLTT Problem Ladder