Selected Tags

Click on a tag to remove it

Universe packages

Showing projects tagged as Data and Universe

  • universe

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

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

    -
    Universe instances for types from dependent-sum