opentheory-1.200: The standard theory library

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

OpenTheory.List

Description

 

Documentation

naturalLength :: [a] -> Natural Source