Skip to content
A type inhabited by finitely many values, indexed by type-level naturals.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src/Data
LICENSE
Setup.hs
finite-typelits.cabal
You can’t perform that action at this time.