On 2013-09-04 19:38, jostly wrote: > Looks interesting. I hadn't heard of the UDA's before, they seem quite > powerful from a brief glance. Very simple but very powerful. It's basically way to tag symbols with values/types. -- /Jacob Carlborg