26fcc20 build: Switch flake to idr2nix

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

a45e253 feat: Add combine utility function

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

a0bd584 feat: ReturnType module

~thatonelutenist pushed to ~thatonelutenist/idris2-minitest git

8eaa012 build: Add effect dependency

~thatonelutenist pushed to ~thatonelutenist/idris2-minitest git

511307d Initial commit

~thatonelutenist pushed to ~thatonelutenist/idris2-minitest git

e6ee4e2 Add minitest

~thatonelutenist pushed to ~thatonelutenist/idris2-libs git

6d0a5df feat: Provide trim operation for non-generic rope

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

c1a81e1 (wip) feat: Add mapChild operation to rope

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

108bc32 feat: Non-generic rope

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

fd0722c feat: Immutable array implementation

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

fcecca5 feat!: Remove non-generic rope

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

fcecca5 feat!: Remove non-generic rope

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

79431f1 feat: Generic rope implementation

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

d9e3cf0 (generic rope) implement split operation

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git