General libraries for Idris 2

26fcc20 build: Switch flake to idr2nix

10 months ago

a45e253 feat: Add combine utility function

1 year, 1 month 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