Sandy Maguire
Sandy Maguire
I've noticed this too in 0.10.4-1; ~~downgrading to 0.10.3-1 seems to have fixed the problem:~~ ``` $ uname -a Linux jefferson 6.1.31-2-MANJARO #1 SMP PREEMPT_DYNAMIC Sun Jun 4 12:31:46 UTC...
For what it's worth, mine crashed as well during startup immediately after the jailbreak, but I closed the dialog and a few minutes later everything worked as expected.
How much work would the generic types be?
I think we could entirely offload those instances, right? eg `instance Arbitrary a => Arbitrary (K1 _1 a)` --- plus some newtype wrappers to not make this an orphan. I'm...
Hmm, that seems rather involved. Could you instead `Replace (->) (:->) (Rep a)` as the `Repr`, and then use `from arbitrary @a` + some barbies magic to get the `Arbitrary...
An unsafePerformIO that updates a global name counter somewhere? :)
You're probably the first person to try this on Windows :) The communication here is handled via https://github.com/neovimhaskell/nvim-hs, who might be better people to talk to about what's going wrong.
> I believe Wingman also parses diagnostics to discover holes, /cc @isovector. Nah, I took the bold route and am SYBing the AST to find holes. #yolo
Great color scheme :) The buffer highlighting comes directly from Agda, so it's a bit hard to say why exactly you're not getting the results you'd like. As an easy...
That sounds like a bug in cornelis! Please let me know what version of Agda you're running and I'll look into it On June 16, 2024 3:33:58 p.m. PDT, milaurila...