Skip to content

Instantly share code, notes, and snippets.

@BekaValentine

BekaValentine/gist:11198345

Created April 22, 2014 23:53
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save BekaValentine/11198345 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save BekaValentine/11198345 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
hard goal => P a <-------- P b <= easy goal
^
|
|
| subst eq P
|
|
|
a ========= b
eq
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment