~thatonelutenist/idris2-rope - Rope data structure for Idris 2 - sourcehut git

~thatonelutenist/idris2-rope

Rope data structure for Idris 2

26fcc20f — Nathan McCarty 1 year, 6 months ago

build: Switch flake to idr2nix

a45e253b — Nathan McCarty 1 year, 9 months ago

feat: Add combine utility function

f4479692 — Nathan McCarty 1 year, 9 months ago

chore: Update flake

refs

trunk: browse log

clone

read-only: https://git.sr.ht/~thatonelutenist/idris2-rope
read/write: git@git.sr.ht:~thatonelutenist/idris2-rope

#idris2-rope

WIP rope for Idris 2