IdrisGL.Display

Display a picture in window.

Definitions

display : Display -> Color -> Picture -> IO ()

  Open a new window and display the given picture.
  
  @ window  Display mode.
  @ bgColor Background color.
  @ pic     Picture.

Visibility: export