Iván Sadofschi Costa comments

Repositories
Issues
Comments

Results 1 comments of


                                            Iván Sadofschi Costa

`native.rb_map.insert` not working as expected

Could this be happening because the order in `bool × ℕ` is not a total ordering? Edit: yes, it seems that was the problem: ``` import init.meta import order.lexicographic #eval...