[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: merge wip-haskell?
From: |
John Soo |
Subject: |
Re: merge wip-haskell? |
Date: |
Fri, 28 Aug 2020 07:05:30 -0700 |
On another note:
Does anyone know why idris, agda, and purescript are failing?
I have only been able to do very little recently to look at them.
- John
- 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 <=
- Re: merge wip-haskell?, Timothy Sample, 2020/08/28
- Re: merge wip-haskell?, Timothy Sample, 2020/08/29
- Re: merge wip-haskell?, John Soo, 2020/08/29
Re: merge wip-haskell?, Ricardo Wurmus, 2020/08/07