108bc32 feat: Non-generic rope
feat: Non-generic rope
~thatonelutenist pushed to ~thatonelutenist/idris2-rope git
fd0722c feat: Immutable array implementation
feat: Immutable array implementation
This is the home for my general idris 2 libraries, at current, we have: