Last active
March 23, 2017 18:24
-
-
Save krobro/85d77204088dd122925a to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| clean_cat wash_the_cat(dirty_cat) // a procedure for washing the cat | |
| { | |
| turn on the shower; | |
| find the cat; | |
| grab the cat; | |
| put cat under shower; | |
| wait 3 minutes; // wait for cat to get clean. | |
| release cat; | |
| } |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment