Sophie Taylor

@kcsongor Any change of this?

If @afcowie hasn't got the patch done, I'll do one over the next couple of days.

Yep, Clang v6 recognises a bunch of gnu attributes: https://releases.llvm.org/6.0.1/tools/clang/docs/AttributeReference.html

All the supported compilers (I think all of them) implement the "ignore unrecognised attributes" part of the C++17 spec, so as many as desired can be added. How do you...

That's what I mean - I probably wouldn't know how to patch them up.

Cool. I'll keep adding more attributes to my branch in the meantime.

@lexi-lambda I really like that fork! You should submit a PR if you haven't already.

@xkollar how does NonDet not feel right?

It's an implementation of a *non-biased* nondeterminism monad. See [here](http://okmij.org/ftp/Computation/monads.html#LogicT).

Has there been any work on this? :/