use literate-idris lexer to highlight literate code
commit9a7e8d73d52abb477e5c66db7634f85e60975991
authormartinbaker <git29f185@martinb.com>
dateWed 24 Jul 2019, 08:51 (7 years ago)
parent3ab5036
docs/tutorial/miscellany.rst+1−1
@@ -131,7 +131,7 @@ an extension of ``.lidr`` then it is assumed to be a literate file. In
131131literate programs, everything is assumed to be a comment unless the line
132132begins with a greater than sign ``>``, for example:
133133
134−.. code-block:: idris
134+.. code-block:: literate-idris
135135
136136 > module literate
137137