Skip to content

Instantly share code, notes, and snippets.

@dgrnbrg

dgrnbrg/gist:3845814

Created October 6, 2012 19:07
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 dgrnbrg/3845814 to your computer and use it in GitHub Desktop.
Save dgrnbrg/3845814 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
[[:goal
:==
[:fresh [<lvar:d_13663>] :==]
[:mplus
[[:mplus
[[:fresh [<lvar:?r_13672>] :==]]
[[:fresh [<lvar:?r_13673>] :== [:goal :seen]]]]]
[[:mplus
[[:fresh [<lvar:?r_13675>] :==]]
[[:fresh [<lvar:?r_13676>] :== [:goal :seen]]]]]]
[:goal :seen]
[:mplus
[[:fresh [<lvar:tail_13689>] :==]]
[[:fresh [<lvar:head_13690> <lvar:tail_13691>] :== [:goal :seen]]]]
[:goal :seen]
[:goal :seen]
[:goal :seen]
[:goal :seen]]]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment