Haskell_bits vs Category Theory

Category TheoryHaskell_bits
Stars72047
Downloads
Dependent Packages
Dependent Repos
Most Recent Commit4 months ago4 years ago
Total Releases3
Latest ReleaseJanuary 31, 2020
Open Issues4
Licensebsd-3-clause
Programming LanguageCoqRust