Verified Commit 9c08caae authored by Joachim Ansorg's avatar Joachim Ansorg Committed by Grégoire Henry

Fix highlighting of code snippets

parent 1fe3453e
......@@ -2425,6 +2425,7 @@ a name for the value on the stack. The following typing rule
demonstrates their use for instruction ``CAR``.
::
CAR @%
:: @p (pair ('a %fst) ('b %snd)) : 'S -> @fst 'a : 'S
......@@ -2438,6 +2439,7 @@ element. Two examples with ``PAIR`` follows, notice the special
treatment of annotations with `.`.
::
PAIR %@ %@
:: @x 'a : @y 'b : 'S -> (pair ('a %x) ('b %y)) : 'S
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment