Ratings by cpressey of Operational Semantics works
==================================================

<!--
SPDX-FileCopyrightText: Chris Pressey, the creator of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

### apfelmus - The Operational Monad Tutorial

*   rating: 1

### An Introduction to Operational Semantics

*   rating: 2

### thautwarm/Sequent.jl: formally and easily, describe the semantics.

*   rating: 2