Ruslan Φ.
Ruslan Φ.
@JoeyEremondi I am totally in for this. Besides, Edwin said that `contrib` has nearly reached the point where it is too hard to maintain and comprehend for the small group...
Even though what I am about to say is a step in another direction, it still might be useful to you: Idris2 LSP has jump-to-definition functionality which lets you hover...
The fact that the `bigint` library is based on c++ has been a nuisance since the very beginning :expressionless: So it looks like linking against `libc++` is the optimal solution...
I wonder how much one can do already making use of this file: https://github.com/idris-lang/Idris2/blob/efcf44e8ba0770c234952b7a65c2d78ce725b197/libs/base/System/Info.idr#L1 and elaborator reflection.
Thanks! Could it be in the next 0.75.X release? :pray:
@blast-hardcheese Hi! Any ETA for the next 0.75.X including the fix?