[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 <samplet@ngyro.com> 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
- Re: merge wip-haskell?, (continued)
- Re: merge wip-haskell?, Jakub Kądziołka, 2020/08/07
- Re: merge wip-haskell?, John Soo, 2020/08/07
- Re: merge wip-haskell?, Jakub Kądziołka, 2020/08/07
- Re: merge wip-haskell?, Ricardo Wurmus, 2020/08/07
- Re: merge wip-haskell?, John Soo, 2020/08/07
- Re: merge wip-haskell?, Ludovic Courtès, 2020/08/24
- Re: merge wip-haskell?, Ricardo Wurmus, 2020/08/24
- Re: merge wip-haskell?, Ludovic Courtès, 2020/08/28
- Re: merge wip-haskell?, John Soo, 2020/08/28
- Re: merge wip-haskell?, Timothy Sample, 2020/08/28
- Re: merge wip-haskell?,
Timothy Sample <=
- Re: merge wip-haskell?, John Soo, 2020/08/29
Re: merge wip-haskell?, Ricardo Wurmus, 2020/08/07