~thatonelutenist/idris2-libs

General libraries for Idris 2

108bc32 feat: Non-generic rope

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

4 days ago

fd0722c feat: Immutable array implementation

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

4 days ago
View project feed 

#Nathan's Idris 2 Libraries

This is the home for my general idris 2 libraries, at current, we have:

  • Rope: Rope data structure