Playground: Difference between revisions

277 bytes added ,  4 February 2023
no edit summary
No edit summary
No edit summary
Line 25: Line 25:
             | Arrow of ty * ty
             | Arrow of ty * ty
             | Prod of ty * ty
             | Prod of ty * ty
== HTML tags ==
<span style="color: red; text-decoration: line-through;">Typo to be corrected</span>
<span style="background-color: #eee; padding: 4px 8px;">Text with background</span>
<div style="background-color: #eee; padding: 4px 8px;">Text block with background</div>
283

edits