# Looping WorkflowsScala Implementation of the workflow language with loops.Workflows can be written directly in Scala by instantiating case classes.You can find implicits helping with that in ``de.tum.workflows.Implicits``.For now, it is possible to generate the LTL formula for a workflow using``Encoding.toFOLTL(w)``and translate it to pure LTL that can be parsed by Spot.An example can be found at ``de.tum.workflows.Main``It can be run using ``sbt run`` and logs the resulting LTL formulas for the example workflow to the console.