On Sunday, March 21, 2021, raingloom <raingl...@riseup.net> wrote: > On Fri, 19 Mar 2021 20:42:19 +0100 > Vincent Legoll <vincent.leg...@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