@@ -299,3 +299,25 @@ which can be inferred by the type checker:
299299
300300 *params> show (append _ _ (MkVects _ [1,2,3] [4,5,6]))
301301 "[1, 2, 3, 4, 5, 6]" : String
302+
303+
304+**********************
305+Modules Dependencies Using Atom
306+**********************
307+
308+If you are using the Atom editor and have a dependency on another package,
309+corresponding to for instance ``import Lightyear`` or ``import Pruviloj``,
310+you need to let Atom know that it should be loaded. The easiest way to
311+accomplish that is with a .ipkg file. The general contents of an ipkg file
312+will be described in the next section of the tutorial, but for now here is
313+a simple recipe for this trivial case.
314+
315+- Create a folder myProject.
316+
317+- Add a file myProject.ipkg containing just a couple of lines:
318+
319+``package myProject``
320+
321+``pkgs = pruviloj, lightyear``
322+
323+- In Atom, use the File menu to Open Folder myProject.