Mango The Fourth
Mango The Fourth
Hahaha sure I’ll make up my mind :3
`Benchmarkable` doesn't really allow for this though atm.
You would probably still benchmark a single random input multiple times to get good confidence and then average over multiple random inputs. I tried to use perRunEnv with criterion with...
I mean sure but I feel like this should ultimately be part of the interface, no? Btw ~ really cool library, currently only using it to output stats in form...
Alright ~ I will try out to make something useful out if it :)
I have ended up using something external. It just didn’t fit my purpose enough. That’s not a fault of the function or the implementation, I just needed all of the...
I just realized that this may only ever work properly by doing solving on the direct dependencies vs the transitive dependencies because the transitive dependencies really depend on the actual...
Hi! Thank you for taking the time to have a look at this. In my `init.lua` I have the following pieces of configuration that influence the behaviour of the lean...
well the extension is required to write the instance, it’s not that I’m making excessive use of TypeFamilies, unfortunately there’s no other good place for this to go, orphan instances...
@HuwCampbell would you be happy to exclude the change from older GHC by the use of `CPP` or would that be too much of a complexity increase?