git.iko.soy/Idris-dev
on master help sign in
Add code-block mark.
be7eb99Oling Cat
docs/tutorial/interactive.rst+1−1
compare with master
unifiedsplit
@@ -28,7 +28,7 @@ Editing at the REPL
28
28
29The REPL provides a number of commands, which we will describe
29The REPL provides a number of commands, which we will describe
30shortly, which generate new program fragments based on the currently
30shortly, 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:
32
32
33::
33::
34
34
docs/tutorial/packages.rst+4−2
@@ -170,9 +170,11 @@ a simple recipe for this trivial case:
170
170
171- Add a file myProject.ipkg containing just a couple of lines:
171- Add a file myProject.ipkg containing just a couple of lines:
172
172
173+.. code-block:: idris
174+
173−``package myProject``
175+ package myProject
174
176
175−``pkgs = pruviloj, lightyear``
177+ pkgs = pruviloj, lightyear
176
178
177- In Atom, use the File menu to Open Folder myProject.
179- In Atom, use the File menu to Open Folder myProject.
178
180