liquid-prelude-0.8.10.2: General utility modules for LiquidHaskell
Source
Contents
Index
Safe Haskell
None
Language
Haskell2010
Language.Haskell.Liquid.List
Documentation
transpose
::
Int
-> [[a]] -> [[a]]
Source
#