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