Varun Gandhi
Varun Gandhi
Unlike in the modular implicits paper (which has an example with sets), the map type in Gluon's stdlib isn't generated by functor application, and doesn't "carry an Ord implementation". Consequently,...
In https://github.com/dominikh/go-tools/issues/366, there was a check (SA6005) added which recommends using `EqualFold` over `ToLower` comparison. However, the transformation of changing `strings.ToLower(s) == strings.ToLower(t)` to `strings.EqualFold(s, t)` is not [semantics-preserving](https://github.com/golang/go/issues/52204#issue-1196034852) ([counter-example](https://go.dev/play/p/pFqpaxzocoL))....
I spent a bunch of time trying to debug a silly Bazel failure where the error message was `No such file or directory (os error 2)`; the problem was that...
I created this issue https://github.com/tree-sitter/tree-sitter-agda/issues/2 -- I just realized that the code there is based off the code here, so you have the same issue (`uint16_t` gets narrowed to `char`):...
It would be nice if this were supported. For example, GitHub supports this in Markdown files with a 🔗 symbol: There are some answers to this [SO question](https://stackoverflow.com/questions/71045575/hover-on-anchor-link-and-show-icon) which cover...
Currently the code for `Gen.recursive` is ``` recursive :: MonadGen m => ([m a] -> m a) -> [m a] -> [m a] -> m a recursive f nonrec rec...
I'm assuming that the [height](http://docs.piston.rs/piston_window/graphics/character/struct.Character.html#method.height) method for Characters measures from bottom to top, including space left, since the same is mentioned for width. I'm getting zero height for different characters...
IMHO, as a new user, it would be great to have a short description (say 1 or 2 sentences) on the documentation homepage of what each module does. Currently there...
I know the repository is titled "Compiler Jobs" and the README says "compiler, language and runtime teams", but it's a little unclear to me where exactly the line is drawn....
I think it would nice to add patterns for special cases for some containers so you can have neater `case` statements instead of using `ifs` with partial functions or similar...