Added Clockhands and PowerShell test.

Author: Undalevein

lean/ClockHands.lean

@@ -0,0 +1,18 @@
+def printTimes : List (IO Unit) → IO Unit
+  | [] => pure ()
+  | act :: actions => do
+    printTimes actions
+    act
+
+def pad : Nat → String
+  | n + 10 => s!"{n + 10}"
+  | n => s!"0{n}"
+
+def clock (t : Nat) : String :=
+  s!"{pad (if t / 3600 == 0 then 12 else t / 3600)}:{pad (t / 60 % 60)}:{pad (t % 60)}"
+
+def countdown : Nat → List (IO Unit)
+  | 0 => []
+  | n + 1 => IO.println (clock ((43200 * (n) + 21600) / 11)) :: countdown n
+
+def main : IO Unit := printTimes (countdown 11)

lean/test.ps1

@@ -0,0 +1,23 @@
+function Assert-MatchTests {
+    param (
+        [Parameter(Mandatory = $true, ValueFromPipeline)] $TestResult
+    )
+
+    if ($TestResult) {
+        Write-Error "Output does not match expected results."
+    }
+}
+
+$Error.clear()
+lean "$PSScriptRoot\ClockHands.lean" |
+    Compare-Object (Get-Content "$PSScriptRoot\..\test\clockhands_expected") |
+    Assert-MatchTests &&
+lean "$PSScriptRoot\Hello.lean" &&
+ForEach-Object 'foo'
+
+if ($Error -or !$?) { 
+    "*** LEAN TESTS FAILED ***" 
+}
+else { 
+    "LEAN TESTS PASSED" 
+}