mirror of
https://github.com/janishutz/eth-summaries.git
synced 2026-07-28 03:39:08 +02:00
6 lines
104 B
TeX
6 lines
104 B
TeX
\subsubsection{Operational Semantics}
|
|
\paragraph{Big Step Semantics}
|
|
|
|
|
|
\paragraph{Small Step Semantics}
|