style: format markdown content with dprint formatter

Apply dprint markdown formatting to module documentation,
comments, and inline markdown across all source files.

🤖 Generated with [Claude Code](https://claude.ai/code)

Co-Authored-By: Claude <noreply@anthropic.com>

Author: fahchen

lib/coloured_flow/builder/definition_helper.ex

@@ -68,10 +68,13 @@ defmodule ColouredFlow.Builder.DefinitionHelper do
   ### Examples
 
   #### Define a place and a transition
+
   ```elixir
   arc turn_green_ew <~ red_ew :: "bind {1, u}"
   ```
+
   is equal to the following code:
+
   ```elixir
   build_arc!(
     place: "red_ew",
@@ -82,10 +85,13 @@ defmodule ColouredFlow.Builder.DefinitionHelper do
   ```
 
   #### Define a transition to a place
+
   ```elixir
   arc turn_green_ew ~> green_ew :: "{1, u}"
   ```
+
   is equal to the following code:
+
   ```elixir
   build_arc!(
     place: "green_ew",

lib/coloured_flow/builder/set_action_outputs.ex

@@ -1,7 +1,7 @@
 defmodule ColouredFlow.Builder.SetActionOutputs do
   @moduledoc """
-  This phase is responsible for setting the outputs of the actions
-  according to the expressions from arcs and the transition guard.
+  This phase is responsible for setting the outputs of the actions according to
+  the expressions from arcs and the transition guard.
   """
 
   alias ColouredFlow.Definition.Action

lib/coloured_flow/definition/action.ex

@@ -1,8 +1,8 @@
 defmodule ColouredFlow.Definition.Action do
   @moduledoc """
   An action is an executable program that is executed when a transition is fired.
-  It's the workitem handler's responsibility to interpret the payload
-  and update the variables in the outputs.
+  It's the workitem handler's responsibility to interpret the payload and update
+  the variables in the outputs.
 
   ref: <https://cpntools.org/2018/01/09/code-segments/>
   """

lib/coloured_flow/definition/arc.ex

@@ -3,9 +3,10 @@ defmodule ColouredFlow.Definition.Arc do
   An arc is a directed connection between a transition and a place.
 
   > #### TIP {: .tip}
+  >
   > Note that the terms `incoming` and `outgoing` are relevant to the transition.
-  > If the arc is linked from a place such that the orientation is `:p_to_t`,
-  > it is considered an incoming arc; otherwise, it is considered an outgoing arc.
+  > If the arc is linked from a place such that the orientation is `:p_to_t`, it
+  > is considered an incoming arc; otherwise, it is considered an outgoing arc.
   """
 
   use TypedStructor

lib/coloured_flow/definition/colour_set.ex

@@ -14,7 +14,8 @@ defmodule ColouredFlow.Definition.ColourSet do
   @typedoc """
   The value should be a literal quoted expression.
 
-  `Macro.quoted_literal?/1` can be used to check if a quoted expression is a literal.
+  `Macro.quoted_literal?/1` can be used to check if a quoted expression is a
+  literal.
 
   ## Valid examples:
 

lib/coloured_flow/definition/constant.ex

@@ -1,7 +1,7 @@
 defmodule ColouredFlow.Definition.Constant do
   @moduledoc """
-  A constant is a named value that can never be changed,
-  can be used in expressions.
+  A constant is a named value that can never be changed, can be used in
+  expressions.
 
   ## Examples
 

lib/coloured_flow/definition/place.ex

@@ -1,7 +1,6 @@
 defmodule ColouredFlow.Definition.Place do
   @moduledoc """
-  A place is a location in the petri net where tokens can be
-  stored.
+  A place is a location in the petri net where tokens can be stored.
   """
 
   use TypedStructor

lib/coloured_flow/definition/presentation/presentation.ex

@@ -13,7 +13,8 @@ defmodule ColouredFlow.Definition.Presentation do
   @indent "  "
 
   @doc """
-  Generate a [mermaid](https://mermaid.js.org/) representation of the coloured petri net.
+  Generate a [mermaid](https://mermaid.js.org/) representation of the coloured
+  petri net.
   """
   @spec to_mermaid(ColouredPetriNet.t()) :: String.t()
   def to_mermaid(%ColouredPetriNet{} = cpnet) do

lib/coloured_flow/definition/procedure.ex

@@ -1,7 +1,7 @@
 defmodule ColouredFlow.Definition.Procedure do
   @moduledoc """
-  A procedure(aka function, renamed to avoid conflict with Elixir's function)
-  is a named function, that can be used in expressions.
+  A procedure(aka function, renamed to avoid conflict with Elixir's function) is a
+  named function, that can be used in expressions.
   """
 
   use TypedStructor

lib/coloured_flow/definition/termination_criteria/markings.ex

@@ -1,7 +1,8 @@
 defmodule ColouredFlow.Definition.TerminationCriteria.Markings do
   @moduledoc """
-  The termination criteria applied to place markings. If the criteria are satisfied,
-  the corresponding enactment will be terminated, and the reason will be `explicit`.
+  The termination criteria applied to place markings. If the criteria are
+  satisfied, the corresponding enactment will be terminated, and the reason will
+  be `explicit`.
   """
 
   use TypedStructor