[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: merge wip-haskell?

From: Timothy Sample
Subject: Re: merge wip-haskell?
Date: Sat, 29 Aug 2020 11:34:09 -0400
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux)

Hi again,

Timothy Sample <> writes:

> I‘ll take a look at PureScript and check Elm, since maybe the Agda fix
> will work for them.  I’m not sure about Idris – it needs a bit more
> effort.

Good news!  Elm and PureScript are fine, and I just pushed a fix for
Idris: 5aaa1995922285d53a97824f2b83bdb71ec9fdd0.

-- Tim

reply via email to

[Prev in Thread] Current Thread [Next in Thread]