Re: [Snowdrift-dev] Mechanism implementation

2016-03-14 Thread David Thomas
> It's almost as bad as there existing a `w : Word` such that `w + 1 = 0` What else would you expect from a finite cyclic group? On Mon, Mar 14, 2016 at 8:42 PM, Aaron Wolf wrote: > On 03/14/2016 08:08 PM, Peter Harpending wrote: >> On 03/14/2016 05:10 PM, Bryan Richter wrote: >>> 1. I'm not sur

Re: [Snowdrift-dev] Go to Definition?

2017-11-14 Thread David Thomas
While the general case for TH is intractable, it would probably be pretty simple to write a script that can generate tags locations for identifiers generated by specific, known cases - particularly​ Persistent. At work I took a bit of a different approach, and wrote a generator that looks at the T