Edwin Brady
Edwin Brady
**Issue by [clayrat](https://github.com/clayrat)** _Sunday Jul 28, 2019 at 00:28 GMT_ _Originally opened as https://github.com/edwinb/Idris2-boot/issues/56_ ---- (This is more of a feature request, but it's been a long-standing stumbling block for...
**Issue by [nicolabotta](https://github.com/nicolabotta)** _Tuesday Oct 29, 2019 at 07:48 GMT_ _Originally opened as https://github.com/edwinb/Idris2-boot/issues/146_ ---- Is there a way of accessing these values in Idris 2? Something like `Numeric.IEEE`in Haskell?...
I'm not sure if this is easy or even possible in atom, but it might be nice to be able to do a case split or add definition by right...
I'm opening this, with some trepidation, because I'd like to do something about the state of `contrib`, and it'd be interesting to hear people's opinions. Essentially, the problem is that...
If you have a feature request or proposal, or if you're looking for a place to get started contributing to Idris 2, please take a look at https://github.com/edwinb/Idris2/wiki/Contributions-wanted, or at...
**Issue by [nickdrozd](https://github.com/nickdrozd)** _Wednesday May 06, 2020 at 22:33 GMT_ _Originally opened as https://github.com/edwinb/Idris2-boot/issues/356_ ---- # Steps to Reproduce Stick this code at the bottom of Prelude.idr: ```idris interface Semigroup...
**Issue by [vfrinken](https://github.com/vfrinken)** _Tuesday Mar 24, 2020 at 04:39 GMT_ _Originally opened as https://github.com/edwinb/Idris2-boot/issues/238_ ---- If I have 2 structs in C ```C typedef struct{ int * a; int b;...