Skip to content

Instantly share code, notes, and snippets.

@egisatoshi

egisatoshi/Set

Last active October 10, 2015 07:18
Show Gist options
  • Save egisatoshi/3653998 to your computer and use it in GitHub Desktop.
Save egisatoshi/3653998 to your computer and use it in GitHub Desktop.
Download ZIP
Set cons of Egison from version 2.4.2
Raw
Set
> (test (match-all {0 1} (Set Integer)
[<cons $a_1 <cons $a_2 <cons $a_3 _>>>
{a_1 a_2 a_3}]))
{{0 0 0} {0 0 1} {0 1 0} {0 1 1} {1 0 0} {1 0 1} {1 1 0} {1 1 1}}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment