Proper tool name in handin instructions!

logic-for-systems · Apr 14, 2015 · 1b44c0b · 1b44c0b
1 parent ae9652e
commit 1b44c0b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/idris/tutorial.md b/idris/tutorial.md
@@ -738,5 +738,5 @@ for appending lists?
 
 ## Handing In
  To hand in these exercises, run __cs195y_handin idris1__ from a directory
- containing an Alloy file for each of the problems.
+ containing your Idris (.idr) source file(s).