Page Index - Minres/CoreDSL GitHub Wiki 17 page(s) in this GitHub Wiki: Home Attributes CoreDSL 2 programmer's manual Declarations Elaboration Expressions Introduction: Arithmetic and type conversion rules Introduction: Concurrency Introduction: Modularization Introduction: Syntax Literals Rationale Scoping Statements Structure and concepts Types Warnings