@@ -299,3 +299,25 @@ which can be inferred by the type checker:
300 *params> show (append _ _ (MkVects _ [1,2,3] [4,5,6]))
300 *params> show (append _ _ (MkVects _ [1,2,3] [4,5,6]))
301 "[1, 2, 3, 4, 5, 6]" : String
301 "[1, 2, 3, 4, 5, 6]" : String
304+**********************
305+Modules Dependencies Using Atom
306+**********************
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.
315+- Create a folder myProject.
317+- Add a file myProject.ipkg containing just a couple of lines:
319+``package myProject``
321+``pkgs = pruviloj, lightyear``
323+- In Atom, use the File menu to Open Folder myProject.