Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
[[: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
You can’t perform that action at this time.