From 1b44c0badc7febf9f06a7190013c9330414bd000 Mon Sep 17 00:00:00 2001 From: Tim Nelson Date: Mon, 13 Apr 2015 22:23:31 -0400 Subject: [PATCH] Proper tool name in handin instructions! --- idris/tutorial.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/idris/tutorial.md b/idris/tutorial.md index b132b33..b4a705f 100644 --- 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).