As for a non-license related question, how does PropEr compare to http://krestenkrab.github.com/triq/ in features, speed, reducibility, etc...? On Jun 15, 2:57 pm, Daniel Luna <dan...@REDACTED> wrote: > /* snip */