~thatonelutenist/idris2-libs

General libraries for Idris 2

26fcc20 build: Switch flake to idr2nix

1 year, 1 month ago

a45e253 feat: Add combine utility function

1 year, 4 months ago

#Nathan's Idris 2 Libraries

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

  • Rope: Rope data structure
  • Minitest: Compact testing framework