sparc icon indicating copy to clipboard operation
sparc copied to clipboard
verified publisher icon iensen

[Language Design] Allow anonimous sorts

Open iensen opened this issue 11 years ago • 0 comments

Allow anonimous sorts (e.g, a predicate definition of the form p({a,b,c}).

iensen avatar Jun 16 '14 20:06 iensen