Jose Carlos Padilla Cancio
Jose Carlos Padilla Cancio
I have a similar problem, it seems to be related to this segment of the code in interpret/utils/all.py: ```py def unify_predict_fn(predict_fn, X): predictions = predict_fn(X[:1]) if predictions.ndim == 2: new_predict_fn...
Looks interesting, good beginner issue to try out :) @rustbot claim
I think @mrchilliballs is right on the money. The lint has checks to check if a given expression comes from a macro (`from_expansion`, `is_from_proc_macro`) which doesnt trip up because the...
I think my comment on the Agda issue [here](https://github.com/agda/agda/issues/7701#issuecomment-2674917209) could be useful in this context. I also think this would obviate the need for agda2hs' "boxed" pragma right? As you...
Can I pick up where previous efforst have left off and try bringing this to the finish line? @lpil @aayush-tripathi
Im a bit inexperienced with erlang/elixir and struggling a bit to create a minimal example to reproduce the bug and test the fix. Could @lpil or @binajmen please point me...
Oops I accidentally included the build files in one of the commits.... 🤦🏼 I'll make sure to remove them and probably add a .gitignore file