~thatonelutenist/idris2-libs

General libraries for Idris 2

108bc32 feat: Non-generic rope

4 days ago

fd0722c feat: Immutable array implementation

4 days ago

#Nathan's Idris 2 Libraries

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

  • Rope: Rope data structure