A rule has premises above the line and conclusion below: [ \fracJ_1 \quad J_2 \quad \dots \quad J_nJ ]
: The primary implementation language is SML, which students use to build interpreters for various language models directly from their formal definitions. Key Topics Covered