| [*src/InOut> double_it | |
| io_bind (io_bind prim_read | |
| (\x => | |
| io_pure (prim__strRev (with block in Prelude.Interactive.getLine', trimNL (MkFFI C_Types String String) | |
| (prim__strRev x) | |
| (with block in Prelude.Strings.strM (prim__strRev x) | |
| (Decidable.Equality.Bool implementation of Decidable.Equality.DecEq, method decEq (not (intToBool (prim__eqString (prim__strRev x) | |
| ""))) | |
| True)))))) | |
| (\input => | |
| io_bind (prim_write (prim__concat (prim__toStrInt (prim__mulInt (prim__fromStrInt input) 2)) "\n")) | |
| (\__bindx => io_pure ())) : IO () |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment