Selected Tags

Click on a tag to remove it

Universe packages

Showing projects tagged as Universe

  • universe

    8.4 1.6 Haskell
    Classes for types where we know all the values
  • universe-base

    8.4 1.6 Haskell
    Classes for types where we know all the values
  • universe-dependent-sum

    -
    Universe instances for types from dependent-sum