Skip to content

Instantly share code, notes, and snippets.

@keleshev
Created January 19, 2015 10:26
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save keleshev/1f42f5006912802681cf to your computer and use it in GitHub Desktop.
Save keleshev/1f42f5006912802681cf to your computer and use it in GitHub Desktop.
# let b = Buffer.create 0 in
Buffer.add_substitute b (function "hello" -> "bye") "$hello world";
Buffer.contents b;;
- : string = "bye world"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment