Selected Tags

Click on a tag to remove it

Singleton packages

Showing projects tagged as Singleton

  • singleton-typelits

    3.5 0.0 Haskell
    Singletons and induction over GHC TypeLits
  • singleton-dict

    1.5 0.0 Haskell
    Typelevel balanced search trees via a singletonized Data.Map