Selected Tags

Click on a tag to remove it

Finite packages

Showing projects tagged as Finite

  • finite-typelits

    6.4 5.4 Haskell
    A type inhabited by finitely many values, indexed by type-level naturals.