On Sunday, March 21, 2021, raingloom <raingloom@riseup.net> wrote:

> On Fri, 19 Mar 2021 20:42:19 +0100
> Vincent Legoll <vincent.legoll@gmail.com> wrote:
>
> > +     '(#:tests? #f ;; No need for tests when you have formal proof
> > of correctness
> In just about any talk about Idris and Type Driven Development, Edwin
> Brady always starts with "you still need tests".
>

That package is not intended to be included, as it is far from finished,
sorry, I should have added " pun intended" with the accompanying smiley
😀...


-- 
Vincent Legoll