Add code-block mark.
commitbe7eb998f85c4e9d29bc5757a0b822361bf58d52
authorOling Cat <olingcat@gmail.com>
dateTue 3 Apr 2018, 21:38 (9 years ago)
parentba99edd
docs/tutorial/interactive.rst+1−1
@@ -28,7 +28,7 @@ Editing at the REPL
2828
2929The REPL provides a number of commands, which we will describe
3030shortly, which generate new program fragments based on the currently
31−loaded module. These take the general form
31+loaded module. These take the general form:
3232
3333::
3434
docs/tutorial/packages.rst+4−2
@@ -170,9 +170,11 @@ a simple recipe for this trivial case:
170170
171171- Add a file myProject.ipkg containing just a couple of lines:
172172
173−``package myProject``
173+.. code-block:: idris
174+
175+ package myProject
174176
175−``pkgs = pruviloj, lightyear``
177+ pkgs = pruviloj, lightyear
176178
177179- In Atom, use the File menu to Open Folder myProject.
178180