||| Still the same paragraph. ||| ||| You can even provide examples which are inlined in the documentation: ||| ```idris example ||| add 4 5 ||| ``` ||| ||| Lists are also nifty: ||| * Really nifty! |||