~thatonelutenist/idris2-libs

General libraries for Idris 2

26fcc20 build: Switch flake to idr2nix

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

3 months ago

a45e253 feat: Add combine utility function

~thatonelutenist pushed to ~thatonelutenist/idris2-rope git

7 months ago
View project feed  RSS 

#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