On 10/10/2017 15:21, Arne Babenhauserheide wrote: > Hi Vitor, > > I’m sorry for answering so late; your suggestion stuck to my mind as a > clean and schemish solution for my usecase (thank you!) but it took me > quite a while to realize it.
I'm glad you liked it. :) [snip] > Now there’s one first question: How should I call it? :-) > > Currently the modules is (examples doctests). Do you have a better idea > than "doctests"? Maybe "proptests", since they are stored in the function properties rather than inside the docstring? Or maybe "vectests", since they are written inside a vector? (Of these I think "proptest" sounds better, because it sounds more like "doctest".) Or maybe just go along with "doctests". > Best wishes, > Arne > -- Vítor De Araújo https://elmord.org/
