diff options
Diffstat (limited to 'std/IO.bruijn')
| -rw-r--r-- | std/IO.bruijn | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/std/IO.bruijn b/std/IO.bruijn new file mode 100644 index 0000000..fdc9295 --- /dev/null +++ b/std/IO.bruijn @@ -0,0 +1,12 @@ +# MIT License, Copyright (c) 2024 Marvin Borner + +:input std/Monad/List . + +:import std/Char C +:import std/Combinator . + +# reads a single char monadically +get-char read + +# reads a line monadically +get-line y [read >>= [(C.eq? 0 '\n') (pure [[0]]) (1 >>= [pure [0 2 1]])]] |