Yes. An IRMA server can be ran by any person or organization that requests and/or provides attributes.
93 karma · joined July 8, 2015
Thing<A<B, C<D>, E>>
Is the type level equivalent of: Thing(A(B, C(D), E))
Not: Thing(A(B, C(D)), E)
I guess this is illustrative for how it is unreadable.Afaik thats actually possible. Or at least it was for a while. But there are good reasons why you shouldnt.