Selected Tags

Click on a tag to remove it

Singleton packages

Showing projects tagged as Data and Singleton

  • singleton-typelits

    4.4 0.0 Haskell
    Singletons and induction schemes for GHC TypeLits.

  • singleton-dict

    0.7 0.0 Haskell
    Singleton version of (ancient versions of) Data.Map