Skip to content

Instantly share code, notes, and snippets.

@SteveGilham

SteveGilham/gist:6ebad32dfb42b33e4a08

Created April 26, 2015 14:21
Show Gist options
  • Save SteveGilham/6ebad32dfb42b33e4a08 to your computer and use it in GitHub Desktop.
Save SteveGilham/6ebad32dfb42b33e4a08 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.fs
let rec echo k =
let echoChar c = if c = '\r'
then putc '\n' k
else putc c (echo k)
getc echoChar;;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment