~thatonelutenist/idris2-libs

General libraries for Idris 2

a45e253 feat: Add combine utility function

3 months ago

a0bd584 feat: ReturnType module

3 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