-\r
-while :: (<e> Boolean) -> (<e> a) -> <e> ()\r
-while cond body = loop ()\r
- where loop _ = if cond\r
- then do body ; loop ()\r
- else ()\r
-\r
-main = "FOO"\r
---\r
+
+while :: (<e> Boolean) -> (<e> a) -> <e> ()
+while cond body = loop ()
+ where loop _ = if cond
+ then do body ; loop ()
+ else ()
+
+main = "FOO"
+--
FOO
\ No newline at end of file