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".