[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [SPITBALL] Jehanne as another kernel option / porting target
|
From: |
raingloom |
|
Subject: |
Re: [SPITBALL] Jehanne as another kernel option / porting target |
|
Date: |
Sun, 21 Mar 2021 06:34:28 +0100 |
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".