Small-Step Semantics Generator for KFAE

A small-step semantics generator for KFAE (Continuations, Functions, Arithmetic Expressions).

Run Online

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
project		project
src/main/scala/smallstepsemantics		src/main/scala/smallstepsemantics
target/scala-2.12		target/scala-2.12
.gitignore		.gitignore
README.md		README.md
build.sbt		build.sbt
index.html		index.html
styles.css		styles.css