Wiki markup

Simon Peyton Jones simonpj at
Tue Jun 4 20:53:21 UTC 2019

Ah yes!  You have to indent the triple-backticks by two spaces.  I never thought of that.  Thank you!

Duly noted in my gitlab lore


From: Ryan Yates <fryguybob at>
Sent: 03 June 2019 18:15
To: Simon Peyton Jones <simonpj at>
Cc: ghc-devs at
Subject: Re: Wiki markup

Hi Simon,

I think you can just indent the code block to achieve this.


On Mon, Jun 3, 2019 at 12:46 PM Simon Peyton Jones via ghc-devs <ghc-devs at<mailto:ghc-devs at>> wrote:
This is a GitLab wiki markup question.
Suppose I want to have a bulleted list, in which a single item has some text, then some laid-out code, then more text.  I want the second blob of text to be indented as part of the bullet.
Absent the laid-out code, indenting the second para 2 spaces seems to do it:

* first bit of text

  Second bit of text
But if there is code in the middle, like this

* first bit of text




  Second bit of text
the second bit of text is not indented.
Does anyone know how to achieve the indentation?
ghc-devs mailing list
ghc-devs at<mailto:ghc-devs at><>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list