Source
Contents
Index

idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe Haskell	None

Util.ScreenSize

Documentation

getScreenWidth :: IO IntSource

Produced by Haddock version 2.13.2.1