From 0f8c73b9c36ecda45c02f26bbca0730da6fb9c0c Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Sun, 9 Jun 2024 23:34:17 +0200 Subject: Fixed IO function names --- samples/fun/IO.bruijn | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'samples/fun') diff --git a/samples/fun/IO.bruijn b/samples/fun/IO.bruijn index 725e093..06facbd 100644 --- a/samples/fun/IO.bruijn +++ b/samples/fun/IO.bruijn @@ -3,4 +3,6 @@ :import std/IO . -main read-line >>= [read-line >>= [return [0 2 1]]] +main get-line >>= [get-line >>= [return [0 2 1]]] + +:test (main "i love\nmonads\n") ([0 [0 "i love" "monads"] [[0]]]) -- cgit v1.2.3