LaTeX Conversion for Rules Not Implemented in LaTeX.hs

[0pdd]

The puzzle 114-f84542df from #114 has to be resolved:

phino/src/LaTeX.hs

Lines 9 to 13 in dc12d56

	-- @todo #114:30min Implement LaTeX conversion for rules.
	-- Convert Rule data structure to LaTeX inference rule format.
	-- Each rule should be formatted as a LaTeX inference rule with
	-- pattern, result, and optional conditions.
	-- Tests must be added for LaTeX conversion logic.

The puzzle was created by @rultor on 08-Sep-25.

Estimate: 30 minutes, role: DEV.

If you have any technical questions, don't ask me, submit new tickets instead. The task will be "done" when the problem is fixed and the text of the puzzle is removed from the source code. Here is more about PDD and about me.