[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [SPITBALL] Jehanne as another kernel option / porting target
|
From: |
Vincent Legoll |
|
Subject: |
Re: [SPITBALL] Jehanne as another kernel option / porting target |
|
Date: |
Sun, 21 Mar 2021 09:05:49 +0100 |
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