Hi again, Timothy Sample <samp...@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
