Import to github.

13 files changed, 1143 insertions, 0 deletions

diff --git a/progs/demo/X11/graphics/README b/progs/demo/X11/graphics/README
new file mode 100644
index 0000000..77a2d66
--- /dev/null
+++ b/progs/demo/X11/graphics/README
@@ -0,0 +1,31 @@
+HENDERSON GRAPHICS LIBRARY
+by Syam Gadde
+and Bo Whong
+
+-------------------------------------------------
+
+To use the Henderson Library, run emacs with a module that
+imports HendersonLib, such as "sqrlmt.hs".  For "sqrlmt.hs",
+run the dialogue "final" or "skewedfinal".  
+
+-------------------------------------------------
+
+henderson.hs	- Haskell source for the Henderson library.
+henderson.hu	
+sqrlmt.hs	- Haskell source for dialogue that draws "Square Limit".
+sqrlmt.hu	
+p.pic		- First of four pictures used to construct "Square Limit".
+q.pic		- Second of four pictures used to construct "Square Limit".
+r.pic		- Third of four pictures used to construct "Square Limit".
+s.pic		- Four of four pictures used to construct "Square Limit".
+new.pic		- Hudak's house
+stop.pic	- A "hand-drawn" stop sign border
+text.pic	- The word "STOP!" (hand-drawn)
+strange.pic	- Overlays stop.pic and Flip of text.pic
+squarebox.xwd	- A window dump of a box-like structure made of four
+			square limits.  Use "xwud -in squarebox.xwd" to view.
+sksl.xwd	- A window dump of "squarelimit" in a skewed bounding box.
+			("skewedfinal" from sqrlmt.hs.)
+sl.xwd		- A window dump of Square Limit.
+			("squarelimit" from sqrlmt.hs.)
+manual		- The manual in Island Write format.
diff --git a/progs/demo/X11/graphics/henderson.hs b/progs/demo/X11/graphics/henderson.hs
new file mode 100644
index 0000000..8b7e4ce
--- /dev/null
+++ b/progs/demo/X11/graphics/henderson.hs
@@ -0,0 +1,465 @@
+-- Peter Henderson's Recursive Geometry
+-- Syam Gadde and Bo Whong
+-- full set of modules
+-- CS429 Project
+-- 4/30/93
+
+module HendersonLib (Hostname(..), Filename(..), VTriple(..), HendQuartet(..),
+                     Picture(..), sendToDraw, draw, create, modify, plot) where
+import Xlib
+
+-- ADTs and Type Synonyms --------------------------------------------------
+data Picture = Nil
+             | Flip Picture
+             | Beside Float Picture Float Picture
+	     | Above Float Picture Float Picture
+	     | Rot Picture
+	     | File String
+	     | Overlay Picture Picture
+	     | Grid Int Int SegList
+	     deriving Text
+
+data Plot = Plot Picture VTriple
+          | Union Plot Plot
+
+type Hostname = String
+type Filename = String
+type IntPoint = (Int,Int)
+type IntSegment = (IntPoint, IntPoint)
+type IntSegList = [IntSegment]
+type Point = (Float,Float)
+type Segment = (Point, Point)
+type SegList = [Segment]
+type Vector = Point
+type VTriple = (Vector, Vector, Vector)
+type HendQuartet = (Int, Int, Int, Int)
+type PEnv = [(Filename, Picture)]
+
+-- vector Functions --------------------------------------------------------
+-- for adding, negating, multiplying, and dividing vectors
+
+addV :: Vector -> Vector -> Vector
+addV (x1,y1) (x2,y2) = (x1+x2, y1+y2)
+
+negateV :: Vector -> Vector
+negateV (x,y) = (-x,-y)
+
+multV ::  Float-> Vector -> Vector
+multV a (x,y) = (a*x, a*y)
+
+divV :: Float -> Vector -> Vector
+divV a (x,y) = (x/a, y/a)
+
+-- plot Function -----------------------------------------------------------
+-- picture manipulation function
+
+plot :: Picture -> VTriple -> PEnv -> ((Plot, PEnv) -> IO()) -> IO()
+
+-- the Nil Picture is just "nothingness" so choose an abritrary representation
+--  of nothingness.
+plot Nil (v1, v2, v3) env cont = 
+  plot (Grid 1 1 []) (v1,v2,v3) env cont
+
+-- Flipping a Picture
+plot (Flip p1) (v1, v2, v3) env cont = 
+  plot p1 (addV v1 v2, negateV v2, v3) env cont
+
+-- Rotate a Picture 90 degrees counterclockwise
+plot (Rot p1) (v1, v2, v3) env cont = 
+  plot p1 (addV v1 v3, negateV v3, v2) env cont
+
+-- Overlay one Picture over another Picture
+plot (Overlay p q) (a,b,c) env cont =
+  plot p (a,b,c) env $ \ (plot1, env1) ->
+  plot q (a,b,c) env1 $ \ (plot2, env2) ->
+  cont ((Union plot1 plot2), env2)
+
+-- Place p1 Beside p2 with width ratio m to n
+plot (Beside m p1 n p2) (v1, v2, v3) env cont = 
+  plot p1 (v1, multV (m/(m+n)) v2, v3) env $ \ (plot1, env1) ->
+  plot p2 ((addV (multV (m/(m+n)) v2) v1), 
+	         (multV (n/(m+n)) v2), 
+                 v3) env1                  $ \ (plot2, env2) ->
+  cont ((Union plot1 plot2), env2)
+
+-- Place p Above q with height ratio m to n
+plot (Above m p n q) (a,b,c) env cont =
+  plot q (addV a (multV (m/(n+m)) c), b,  multV (n/(m+n)) c) env 
+    $ \ (plot1, env1) ->
+  plot p (a, b, multV (m/(m+n)) c) env1 $ \ (plot2, env2) ->
+  cont ((Union plot1 plot2), env2)
+
+-- the 'real' Picture
+plot (Grid x y s) (a,b,c) env cont =
+  cont ((Plot (Grid x y s) (a,b,c)), env)
+
+-- this picture is located in a File with name name
+--  lookup table: thanks to Sheng
+plot (File name) (a,b,c) env cont =
+  case (lookupEnv env name) of
+    ((_, pic):_) -> plot pic (a,b,c) env cont
+    []           ->
+       readFile name (\s -> appendChan stdout ("File "++name++" not able to be read\n") exit done)
+                     $ \s ->
+       let 
+        pic = read s 
+        newenv = (name,pic):env
+       in
+       plot pic (a,b,c) newenv cont 
+
+lookupEnv :: PEnv -> Filename -> PEnv
+lookupEnv [] _ = []
+lookupEnv ((a,b):es) name | a==name   = ((a,b):es)
+                          | otherwise = lookupEnv es name
+
+-- Draw Function -----------------------------------------------------------
+-- user function to draw pictures 
+
+draw :: Hostname -> Picture -> VTriple -> HendQuartet -> IO()
+
+-- opens a display, screen, and window (of size specified in HendQuartet)
+--  and draws Picture in the window
+draw host p (a,b,c) (hm,hn,ho,hp) = 
+ xOpenDisplay host `thenIO` \display ->       -- opens display
+  let (screen:_) = xDisplayRoots display
+      fg_color = xScreenBlackPixel screen
+      bg_color = xScreenWhitePixel screen
+      root = xScreenRoot screen
+  in 
+  xCreateWindow root                          -- opens window
+                (XRect hm hn ho hp)
+		[XWinBackground bg_color,
+		 XWinEventMask (XEventMask [XKeyPress, 
+		                            XExposure, 
+                                            XButtonPress])]
+  `thenIO` \window ->
+  xSetWmName window "Henderson Graphics" `thenIO` \() ->
+  xSetWmIconName window "Henderson Graphics" `thenIO` \() ->
+  xMapWindow window `thenIO` \() ->          -- show window
+  xDisplayForceOutput display `thenIO` \ () ->  -- show window NOW
+  xCreateGcontext (XDrawWindow (xScreenRoot screen))   -- open a GC
+                  [XGCBackground bg_color,
+		   XGCForeground fg_color] `thenIO` \ gcontext ->
+  plot p (a,b,c) [] $ \(plt,_) ->            -- make pic easier to work with
+  let
+    handleEvent =
+      xGetEvent display `thenIO` \event ->
+        case (xEventType event) of
+	  -- Has a part of the window been uncovered?
+	  XExposureEvent ->  sendToDraw window screen display gcontext plt
+	                     `thenIO` \() -> handleEvent
+          _              -> xCloseDisplay display
+  in
+  handleEvent
+
+-- SendToDraw Function -----------------------------------------------------
+-- called by draw to actually draw the lines onto the window
+
+sendToDraw :: XWindow -> XScreen -> XDisplay -> XGcontext -> Plot -> IO()
+
+-- have a Union.  so do one, and then the other. simple.
+sendToDraw win screen display gcontext (Union p1 p2) = 
+  sendToDraw win screen display gcontext p1 `thenIO` \() ->
+  sendToDraw win screen display gcontext p2
+
+-- have just a Plot.  have to do some dirty work.
+sendToDraw window screen display gcontext (Plot (Grid x y s) (a,b,c)) = 
+  let 
+    v2p :: Vector -> XPoint
+    v2p (e,f) = XPoint (round e) (round f)  -- convert Vector to an XPoint
+    fx :: Float
+    fx = fromIntegral x
+    fy :: Float
+    fy = fromIntegral y
+    drawit :: SegList -> IO()
+    -- draw the Grid one line at a time
+    drawit [] = done
+    drawit (((x0,y0),(x1,y1)):ss) =
+      xDrawLine (XDrawWindow window) 
+              gcontext 
+	      (v2p (addV (addV a (multV (x0/fx) b))
+	                 (multV (y0/fy) c)))
+	      (v2p (addV (addV a (multV (x1/fx) b))
+	                 (multV (y1/fy) c))) `thenIO` \() ->
+      drawit ss
+  in
+  drawit s `thenIO` \ () ->
+  xDisplayForceOutput display
+
+-- create function ---------------------------------------------------------
+-- opens up a window to allow the user to create a file 
+-- and save it onto a file
+
+create :: Hostname -> Filename -> Int -> Int -> IO()
+
+create host filename x y =
+  xOpenDisplay host `thenIO` \ display ->
+  let 
+   (screen:_) = xDisplayRoots display
+   fg_color = xScreenWhitePixel screen
+   bg_color = xScreenBlackPixel screen
+   root = xScreenRoot screen
+  in
+  xCreateWindow root
+                (XRect 0 0 (x+1) (y+1))
+                [XWinBackground bg_color,
+                 XWinEventMask (XEventMask [XExposure,
+		                            XKeyPress, 
+					    XButtonPress,
+					    XPointerMotion])]
+  `thenIO` \window ->
+  xSetWmName window filename `thenIO` \() ->
+  xSetWmIconName window filename `thenIO` \() ->
+  xCreateWindow root
+                (XRect 0 0 100 40)
+		[XWinBackground bg_color] `thenIO` \window2 ->
+  xSetWmName window2 "pos" `thenIO` \() ->
+  xSetWmIconName window2 "pos" `thenIO` \() ->
+  xMapWindow window `thenIO` \() ->
+  xMapWindow window2 `thenIO` \() ->
+  xListFonts display "*times*bold*r*normal*18*" `thenIO` \fontlist ->
+  xCreateGcontext (XDrawWindow root)
+                  [XGCBackground bg_color,
+                   XGCForeground fg_color,
+		   XGCFont (head fontlist)] `thenIO` \gcontext ->
+  let
+   handleEvent :: IntSegList -> IO()
+   handleEvent list =
+     xGetEvent display `thenIO` \event ->
+     let 
+      point = xEventPos event 
+      XPoint pointx pointy = point
+      handleEvent' :: XPoint -> IO()
+      handleEvent' last = 
+       xGetEvent display `thenIO` \event2 ->
+       let 
+        pos = xEventPos event2
+	XPoint posx posy = pos 
+       in
+        case (xEventType event2) of
+         XKeyPressEvent  -> 
+           appendChan stdout ((show (tup pos))++ "\n") abort $
+           xDrawLine (XDrawWindow window) gcontext point pos 
+           `thenIO` \() -> handleEvent (store list point pos)
+         XExposureEvent  -> 
+           redraw window gcontext list `thenIO` \() -> handleEvent' last
+	 XMotionNotifyEvent ->
+	   xDrawImageGlyphs (XDrawWindow window2)
+	                    gcontext
+			    (XPoint 2 18)
+			    ((show posx)++", "++(show posy)++"      ") 
+			    `thenIO` \dummy -> handleEvent' last
+         _                  -> 
+           handleEvent' last
+     in 
+     case (xEventType event) of 
+       XButtonPressEvent     -> 
+         putFile display filename list x y "create"
+       XKeyPressEvent  -> 
+         appendChan stdout (show (tup point)) abort $ 
+         handleEvent' point 
+       XExposureEvent  -> 
+         redraw window gcontext list `thenIO` \() -> handleEvent list
+       XMotionNotifyEvent ->
+	 xDrawImageGlyphs (XDrawWindow window2)
+	                  gcontext
+			  (XPoint 2 18)
+			  ((show pointx)++", "++(show pointy)++"      ") 
+			  `thenIO` \dummy -> handleEvent list
+       _                  -> 
+         handleEvent list
+  in 
+   case (checkFile filename) of 
+     True  -> handleEvent []
+     False -> appendChan stdout picTypeError abort $
+              xCloseDisplay display
+
+-- modify function ---------------------------------------------------------
+-- allows the user to add onto an already existing picture file
+
+modify :: Hostname -> Filename -> IO()
+
+modify host filename =
+  case (checkFile filename) of 
+   False -> appendChan stdout picTypeError abort done
+   True  -> 
+    readFile filename (\s -> appendChan stdout 
+                                        readError abort done) $ \s->
+    let 
+     dat = read s 
+     origlist = fFloat (getlist dat)
+     x = getx dat
+     y = gety dat
+    in
+     xOpenDisplay host `thenIO` \ display ->
+     let 
+      (screen:_) = xDisplayRoots display
+      fg_color = xScreenWhitePixel screen
+      bg_color = xScreenBlackPixel screen
+      root = xScreenRoot screen
+     in
+     xCreateWindow root
+       (XRect 0 0 (x + 1) (y + 1))
+        [XWinBackground bg_color,
+        XWinEventMask (XEventMask [XExposure, XKeyPress, 
+                                   XButtonPress, XPointerMotion])]
+     `thenIO` \window ->
+     xSetWmName window filename `thenIO` \() ->
+     xSetWmIconName window filename `thenIO` \() ->
+     xCreateWindow root (XRect 0 0 100 40)
+	[XWinBackground bg_color] `thenIO` \window2 ->
+     xSetWmName window2 "pos" `thenIO` \() ->
+     xSetWmIconName window2 "pos" `thenIO` \() ->
+     xMapWindow window `thenIO` \() -> 
+     xMapWindow window2 `thenIO` \() ->
+     xListFonts display "*times*bold*r*normal*18*" `thenIO` \fontlist ->
+     xCreateGcontext (XDrawWindow root) [XGCBackground bg_color, 
+                                         XGCForeground fg_color, 
+                                         XGCFont (head fontlist)] 
+     `thenIO` \ gcontext ->
+    let
+     handleEvent :: IntSegList -> IO()
+     handleEvent list =
+      xGetEvent display `thenIO` \event ->
+      let 
+       point = xEventPos event 
+       XPoint pointx pointy = point
+       handleEvent' :: XPoint -> IO()
+       handleEvent' last = xGetEvent display `thenIO` \event2 ->
+        let 
+         pos = xEventPos event2
+	 XPoint posx posy = pos 
+        in
+         case (xEventType event2) of
+          XExposureEvent  -> 
+            redraw window gcontext list `thenIO` \() -> 
+            handleEvent' last
+          XKeyPressEvent  -> 
+            appendChan stdout ((show (tup pos))++ "\n") abort $
+            xDrawLine (XDrawWindow window) gcontext point pos 
+            `thenIO` \() -> handleEvent (store list point pos)
+     	  XMotionNotifyEvent ->
+	    xDrawImageGlyphs (XDrawWindow window2) gcontext 
+             (XPoint 2 18) ((show posx)++", "++(show posy)++"      ") 
+	    `thenIO` \dummy -> handleEvent' last
+	  _                  -> handleEvent' last
+      in
+       case (xEventType event) of 
+        XButtonPressEvent  ->
+          putFile display filename list x y "modify"
+        XKeyPressEvent     ->
+          appendChan stdout (show (tup point)) abort $ 
+          handleEvent' point 
+        XExposureEvent  -> 
+          redraw window gcontext list `thenIO` \() -> 
+          handleEvent list
+        XMotionNotifyEvent ->
+          xDrawImageGlyphs (XDrawWindow window2) 
+                           gcontext (XPoint 2 18)
+           ((show pointx)++", "++(show pointy)++"      ")
+          `thenIO` \dummy -> handleEvent list
+        _                  -> 
+          handleEvent list
+    in
+     redraw window gcontext origlist `thenIO` \() -> 
+      handleEvent origlist
+
+-- Miscellaneous functions -------------------------------------------------
+-- shared by the create and modify functions
+
+checkFile :: Filename -> Bool
+checkFile name =
+  case (take 4 (reverse name)) of
+   "cip." -> True
+   _      -> False
+
+store :: IntSegList -> XPoint -> XPoint -> IntSegList 
+store l a b =  [((xof a,yof a),(xof b,yof b))] ++ l
+
+xof :: XPoint -> Int
+xof (XPoint x y) = x
+
+yof :: XPoint -> Int
+yof (XPoint x y) = y
+
+tup :: XPoint -> IntPoint
+tup (XPoint a b) = (a,b)
+  
+ll:: IntSegment -> Int
+ll ((a1,a2),(b1,b2)) = a1
+
+lr:: IntSegment -> Int
+lr ((a1,a2),(b1,b2)) = a2
+
+rl:: IntSegment -> Int
+rl ((a1,a2),(b1,b2)) = b1
+
+rr:: IntSegment -> Int
+rr ((a1,a2),(b1,b2)) = b2
+
+getx :: Picture -> Int
+getx (Grid m n o) = m
+
+gety :: Picture -> Int
+gety(Grid m n o) = n
+
+getlist :: Picture -> SegList
+getlist (Grid m n o) = o
+
+fFloat :: SegList -> IntSegList
+fFloat = map (\ ((ix,iy),(jx,jy)) ->
+             ((round ix,round iy), (round jx,round jy)))
+
+readError :: String
+readError  = "Error: reading an invalid file\n"
+
+picTypeError :: String
+picTypeError = "Error: files need to be of .pic type\n"
+
+deleteError :: String
+deleteError = "Error: file can not be deleted\n"
+
+writeError :: String
+writeError = "Error: file can not be written\n"
+
+modError :: String
+modError = "Error: file can not be modified\n"
+
+redraw :: XWindow-> XGcontext -> IntSegList -> IO()
+redraw window gcontext [] = done
+redraw window gcontext (l:ls) = 
+ xDrawLine (XDrawWindow window) gcontext (XPoint (ll l) (lr l)) 
+                                         (XPoint (rl l) (rr l))
+ `thenIO` \() -> redraw window gcontext ls
+
+changeList :: IntSegList -> SegList
+changeList = 
+  map (\ ((ix,iy),(jx,jy)) -> ((fromIntegral ix,fromIntegral iy),
+                               (fromIntegral jx,fromIntegral jy)))
+
+putFile :: XDisplay -> Filename -> IntSegList -> 
+           Int -> Int -> String -> IO()
+putFile display name list x y flag = 
+ let  
+  text = show (Grid x y (changeList list))
+  finishMsg  = name ++ ": Done...Process completed\n"
+  modMsg = name ++ ": Modifying file\n"
+  createMsg = name ++ ": Creating file\n"
+  continue = 
+   deleteFile name (\s -> appendChan stdout deleteError abort done) $
+   writeFile name text (\s -> appendChan stdout writeError abort done) $
+   appendChan stdout finishMsg abort $ 
+   xCloseDisplay display
+ in 
+  case (flag == "create") of
+   False -> appendChan stdout modMsg 
+                       (\s -> appendChan stdout modError abort done) $
+            continue
+   True  -> readFile name (\s -> appendChan stdout createMsg abort $
+                                 writeFile name text abort 
+                                   (xCloseDisplay display)) $ \s ->
+            continue
+
+
+
+
diff --git a/progs/demo/X11/graphics/henderson.hu b/progs/demo/X11/graphics/henderson.hu
new file mode 100644
index 0000000..e92b66d
--- /dev/null
+++ b/progs/demo/X11/graphics/henderson.hu
@@ -0,0 +1,3 @@
+:o= foldr inline constant
+$HASKELL_LIBRARY/X11/xlib.hu
+henderson.hs
diff --git a/progs/demo/X11/graphics/manual b/progs/demo/X11/graphics/manual
new file mode 100644
index 0000000..17772f1
--- /dev/null
+++ b/progs/demo/X11/graphics/manual
@@ -0,0 +1,454 @@
+104 pgscriptver 
+
+100 DefSpaceEx 100 DefCharEx 1 DefNormalHyphenationOn 100 
+DefTypeColor (Times-Roman) DefTypeFace ENGLISH DefLanguage 12 DefPointSize 
+USE_POINTSIZE DefSetSize (@default) DefTypeResource 
+
+LEFT DefJustifyFlags 2 DefBeginParaLeadValue ABSOLUTE DefBeginParaLeadMode 2 
+DefEndParaLeadValue ABSOLUTE DefEndParaLeadMode 120 DefLeadValue 
+PROPORTIONAL DefLeadMode 1 46 0 TAB_LEFT  720 DefTab 1 46 0 
+TAB_LEFT  2160 DefTab 1 46 0 TAB_LEFT  3600 DefTab 1 46 0 
+TAB_LEFT  5040 DefTab 1 46 0 TAB_LEFT  6480 DefTab 1 46 0 
+TAB_LEFT  7920 DefTab 1 46 0 TAB_LEFT  9360 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 0 46 0 TAB_LEFT  24480 DefTab 0 46 0 
+TAB_LEFT  24480 DefTab 80 DefWSMN 100 DefWSNM 150 DefWSMX 110 
+DefLSMX 100 DefLeaderEx 46 DefLeaderChar 0 DefFirstIndent 0 
+DefLeftIndent 0 DefRightIndent 0 DefNumberingOn 0 DefNumberingType 0 
+DefNumberingRestart 1 DefNumberingLevel 0 DefNumberingStyle 0 
+DefNumberingTabAfter 1 DefNumberingShowAllLevels 1 DefNumberingStart 1 
+DefNumberingIncrement () DefNumberingPrefix () DefNumberingSuffix (.) 
+DefNumberingSeparator (*default) DefParaResource 
+
+0 DefLineWidth TRANSPARENT DefPenColor TRANSPARENT DefFillColor 1 DefIG 300 
+DefResolution 100 DefYScale 100 DefXScale (=default) DefPolyResource 
+
+0 DefPageDimensions 12240 DefPageWidth 15840 DefPageHeight 1440 
+DefInsideMargin 1080 DefOutsideMargin 1080 DefTopMargin 1080 
+DefBottomMargin 0 DefOrientation 0 DefPageStyle 1 DefColumns 360 
+DefGutter (%default) DefMasterPage ResDefEnd 
+
+0 DefFirstLeft 0 DefDocSetup 1 DefNumPages 1 AutoPage 1 
+DefStartPageNum () DefPageNumPrefix 1 DefGraphicLocation document 
+
+1 DefAutoPage 
+0 (%default) 1 DefPage 
+1 DefAutoPage 
+0 (%default) 2 DefPage 
+
+POLY_OBJECT POLY_EMPTY |  DefPolyType 
+
+0 DefLineWidth TRANSPARENT DefPenColor TRANSPARENT DefFillColor 1 DefIG 300 
+DefResolution 100 DefYScale 100 DefXScale (=default) DefPolyResId 0 
+DefMasterRef 
+MP_CPSUCC_LINK MP_CPPRED_LINK POLY_COLUMN | |  DefSLinksFlags 0 DefStreamSucc 0 
+DefStreamPred 
+1440 1080 11160 1080 11160 14760 1440 14760 4 
+POLY_OBJECT POLY_EMPTY |  (%default) 0 1 TextPolygon 
+
+POLY_OBJECT POLY_TEXT |  DefPolyType 
+
+0 DefLineWidth TRANSPARENT DefPenColor TRANSPARENT DefFillColor 1 DefIG 300 
+DefResolution 100 DefYScale 100 DefXScale (=default) DefPolyResId 1 
+DefMasterRef 
+
+MP_CPSUCC_LINK MP_CPPRED_LINK LINK_OVERFLOW MPREF_VALID POLY_COLUMN AUTO_STREAM | | | | | 
+DefSLinksFlags 4 DefStreamSucc 0 DefStreamPred 3 DefTextHandle 
+1440 1080 11160 1080 11160 14760 1440 14760 4 
+POLY_OBJECT POLY_TEXT |  (1) 0 2 TextPolygon 
+
+3 asciitextstream 
+<(Courier) cf ><9 cs>The Henderson Library--<eop>
+by Syam Gadde<eop>
+and Bo Whong<eop>
+<eop>
+The Henderson Library is a toolkit with which one can use Functional Geometry, 
+as proposed by Peter Henderson in his paper "Functional Geometry".  This is a s
+cheme by which "Picture"s can be described in an abstract data type, and a numb
+er of functions can be applied to it.  This results in a very elegant method to
+ produce complex pictures from simple ones.  The example Henderson uses is "Squ
+are Limit" by M. C. Escher,  which can be constructed with four simple pictures
+.<eop>
+<eop>
+------------------------<eop>
+ADTs and Type Synonyms<eop>
+<eop>
+The Picture data type is composed of eight different types of pictures.  They a
+re:<eop>
+<eop>
+data<eop>
+Picture = Nil                                 - empty picture<eop>
+        | Flip Picture                        - picture flipped on the y-axis<e
+op>
+        | Beside Float Picture Float Picture  - two pictures placed side by sid
+e <eop>
+                                              - in accordance to the ratio of t
+he<eop>
+                                              - two floats<eop>
+        | Above Float Picture Float Picture   - two pictures placed one on top 
+of<eop>
+                                              - another in accordance to the ra
+tio<eop>
+                                              - of the two floats<eop>
+        | Rot Picture                         - picture is rotated 90 degrees <
+eop>
+                                              - counterclockwise<eop>
+        | File String                         - picture is stored as an externa
+l<eop>
+                                              - file<eop>
+        | Overlay Picture Picture             - two pictures are drawn such tha
+t<eop>
+                                              - one lays on top of the other<eo
+p>
+        | Grid Int Int SegList                - picture type that contains the 
+list<eop>
+                                              - of picture's line segments alon
+g<eop>
+                                              - with the size of the inital pic
+ture<eop>
+<eop>
+The type synonyms are pretty much self explanatory.<eop>
+<eop>
+        Hostname<tab><tab><tab>- a string of the hostname<eop>
+        Filename                              <tab>- a string of the filename<e
+op>
+        IntPoint                              <tab>- a tuple of integers repres
+enting<eop>
+                                              <tab>- the coordinates of a point
+<eop>
+        IntSegment                            <tab>- a tuple of Intpoints repre
+senting<eop>
+                                              <tab>- the endpoints of a line se
+gment<eop>
+        IntSegList                            <tab>- a list of IntSegments <eop
+>
+        Point                                 <tab>- same as IntPoint except in
+ place of<eop>
+<tab><tab><tab>             <tab>- intergers, they are floating points<eop>
+        Segment                               <tab>- same as IntSegment except 
+in place<eop>
+       <tab><tab>            <tab>- of intergers, they are floating <eop>
+         <tab><tab><tab>- points<eop>
+        SegList                               <tab>- same as IntsegList except 
+in place<eop>
+      <tab><tab><tab><tab>- of intergers, they are floating <eop>
+         <tab><tab><tab>- points<eop>
+        Vector                                <tab>- a tuple of floating points
+ to<eop>
+        <tab><tab><tab>- to represent a vector<eop>
+        Vtriple                               - a 3-tuple of Vectors<eop>
+        HendQuartet                           - a 4-tuple of Integers for the s
+ize<eop>
+                                              - of the Henderson window<eop>
+        PEnv                                  - a tuple of a Filename and a Pic
+ture<eop>
+                                              - for storing already opened file
+s in<eop>
+                                              - in order to save time and memor
+y<eop>
+                                              - when a file needs to be opened 
+more<eop>
+                                              - than once<eop>
+<eop>
+-------------------------------------------------------------------------------
+----<eop>
+Function: create (an exported function from the HendersonLib)<eop>
+<eop>
+The purpose of the create function is to provide the user with a function to <e
+op>
+draw a picture from a graphics interface.  The user may choose to create a pict
+ure<eop>
+file by inputing the the lines and points manually into a file or (s)he may cho
+ose<eop>
+to use the create function.<eop>
+<eop>
+Functionality of create:<eop>
+           create :: Hostname -<ra> Filaname -<ra> Int -<ra> Int -<ra> IO()<eop
+>
+<eop>
+create takes as input a hostname, a filename, and two integers for the size of 
+the <eop>
+window to be opened.  Two windows should appear, one for the input of lines and
+<eop>
+another showing the current position of the mouse.  These windows will be label
+ed<eop>
+accordingly.<eop>
+To draw a line on the file window, move the cursor to the desired position, the
+n<eop>
+hit any key on the keybroad. This point will be the beginning of the line segme
+nt.<eop>
+Next move the cursor to the position of where the user wants the end of the lin
+e<eop>
+segment to be, then hit any key from the keyboard again.  A line should appear.
+<eop>
+The coordinates of the endpoints of each line drawn  will also be printed out o
+nto <eop>
+standard output.<eop>
+To signal completion of a file, press any button on the mouse.  The user must <
+eop>
+remember though that this is only applicable after a completed drawing of a lin
+e.<eop>
+For example, pressing the mouse button will not work if one of the endpoints of
+ a<eop>
+line is drawn but the other endpoint is not. create will not recognize the mous
+e <eop>
+button press event until a second endpoint is drawn.<eop>
+<eop>
+Advantages of create:<eop>
+ provides a quick and fun way to create a picture file.<eop>
+<eop>
+Disadvantages of create:<eop>
+ If the file does not exist, create will create the file and then store the pic
+ture<eop>
+ to it.  However, if the file exists, create will automatically delete the cont
+ents<eop>
+ of that file before storing the new picture.<eop>
+<eop>
+-------------------------------------------------------------------------------
+----<eop>
+Function: modify (an exported function from the HendersonLib)<eop>
+<eop>
+The purpose of the modify function is to provide the user with a function make 
+<eop>
+additions to an already existing picture file using a graphics interface.  The 
+user<eop>
+may choose to modify the picture file by adding the the lines and points manual
+ly <eop>
+into the file or (s)he may choose to use the modify function.<eop>
+<eop>
+Functionality of modify:<eop>
+           modify :: Hostname -<ra> Filaname -<ra> IO()<eop>
+<eop>
+modify takes as input a hostname and a filename. Tow windows should appear.  Th
+e <eop>
+size of the draw window will be the same as the x and y coordinates already in 
+the<eop>
+file. These windows will be labeled accordingly.  The existing picture will app
+ear<eop>
+first before any input is allowed.<eop>
+To draw a line on the file window, move the cursor to the desired position, the
+n<eop>
+hit any key on the keybroad. This point will be the beginning of the line segme
+nt.<eop>
+Next move the cursor to the position of where the user wants the end of the lin
+e<eop>
+segment to be, then hit any key from the keyboard again.  A line should appear.
+<eop>
+The coordinates of the endpoints of each line drawn  will also be printed out o
+nto <eop>
+standard output.<eop>
+To signal completion of a file, press any button on the mouse.  The user must <
+eop>
+remember though that this is only applicable after a completed drawing of a lin
+e.<eop>
+For example, pressing the mouse button will not work if one of the endpoints of
+ a<eop>
+line is drawn but the other endpoint is not.  modify will not recognize the mou
+se <eop>
+button press event until a second endpoint is drawn.<eop>
+<eop>
+Advantages of modify:<eop>
+ provides a quick and fun way to modify a picture file without having to go int
+o<eop>
+ the file and manually add on the coordinates of the additional lines<eop>
+<eop>
+Disadvantages of modify:<eop>
+ Existing lines can not be deleted and any additional lines, whether intentiona
+l or<eop>
+ unintentional, will be appended to the picture and stored in the file.<eop>
+<eop>
+--------------------------------------------------------<eop>
+Function: sendToDraw<eop>
+<eop>
+Type of sendToDraw:<eop>
+  sendToDraw :: XWindow -<ra> XScreen -<ra> XDisplay -<ra> <eop>
+              XPixel -<ra> XPixel -<ra> Plot -<ra> IO()<eop>
+<eop>
+Usage:<eop>
+  sendToDraw win scn dis fg_color bg_color plt<eop>
+<eop>
+'sendToDraw' is the most primitive function in the part of the Henderson<eop>
+library that deals with X windows, and therefore, can be used as a very<eop>
+powerful tool.  It draws a Plot plt (see 'plot' function) in the given XWindow<
+eop>
+win, and on the given XScreen and XDisplay scn and dis, drawing the lines in<eo
+p>
+the foreground color.  This function allows the programmer to draw more than<eo
+p>
+one Picture to the same window.<eop>
+<eop>
+Arguments:<eop>
+  win - the XWindow in which to draw plt<eop>
+  scn - the screen which contains win<eop>
+  dis - the display which contains scn<eop>
+  fg_color - an XPixel the color of which the plt will be drawn in.  Note that<
+eop>
+<tab>this allows the programmer to draw different plt's in different colors.<eo
+p>
+  bg_color - unused, but required.<eop>
+--------------------------------------------------------<eop>
+Function: plot<eop>
+<eop>
+Type of 'plot':<eop>
+  plot :: Picture -<ra> VTriple -<ra> PEnv -<ra> ((Plot, PEnv) -<ra> IO()) -<ra
+> IO()<eop>
+<eop>
+Usage:<eop>
+  plot pic (a,b,c) env func<eop>
+<eop>
+The 'plot' function is needed to create a Plot which would be normally sent to<
+eop>
+a function such as sendToDraw.  'plot' converts a Picture pic into a format<eop
+>
+that sendToDraw can deal with.<eop>
+'plot' also takes three vectors which specify the bounding box in which the<eop
+>
+Picture is to be drawn.  The first vector (a) specifies the upper left corner<e
+op>
+of the bounding box.  The next two vectors specify the bounding box itself,<eop
+>
+with respect to the first vector.  This allows for non-rectangular bounding<eop
+>
+boxes.  For example, the vector triple ((50,50), (100,0), (0,100)) specifies<eo
+p>
+the following bounding box:<eop>
+<eop>
+            (0,0)----------------------------------<eop>
+                 |<eop>
+                 |  (50,50)<eop>
+                 |     _______________ (150,0)  <eop>
+                 |     |             |<eop>
+                 |     |             |<eop>
+                 |     |             |<eop>
+                 |     |             |<eop>
+                 |     |             |<eop>
+                 |     |_____________| (150,150)<eop>
+                 |  (0,150)<eop>
+<eop>
+<eop>
+A vector triple of ((0,0), (100,300), (0,100)) would specify:<eop>
+<eop>
+            (0,0)-------------------------------------<eop>
+                 ||\<eop>
+                 || \<eop>
+                 ||  \<eop>
+          (0,100)||   \<eop>
+                 |\    \<eop>
+                 | \    \<eop>
+                 |  \    \<eop>
+                 |   \    \ (100,300)<eop>
+                 |    \   | <eop>
+                 |     \  |<eop>
+                 |      \ |<eop>
+                 |       \| (100,400)<eop>
+<eop>
+Arguments:                 <eop>
+  pic - the Picture to be converted<eop>
+  a - a vector specifying the upper left corner of the bounding box<eop>
+<tab>of the picture.<eop>
+  b - a vector understood to start at 'a' and specifying the upper edge of<eop>
+
+<tab>the bounding box.<eop>
+  c - a vector understood to start at 'a' and specifying the left edge of<eop>
+<tab>the bounding box.<eop>
+--------------------------------------------------------<eop>
+Function: draw<eop>
+<eop>
+Type of draw:<eop>
+  draw :: Hostname -<ra> Picture -<ra> VTriple -<ra> HendQuartet -<ra> IO()<eop
+>
+<eop>
+Usage:<eop>
+  draw host pic (a,b,c) (m,n,p,q)<eop>
+<eop>
+'draw' is a higher-level function than sendToDraw, and is useful to use when<eo
+p>
+the programmer wishes only to draw one Picture on the screen.  This function<eo
+p>
+does most of the work that the programmer would normally have to do when using<
+eop>
+sendToDraw.  'draw' opens a window at host with upper left coordinates m and n<
+eop>
+(on an X server that lets the user position any child window of the root<eop>
+window, these coordinates mean nothing), and with width p and height q.<eop>
+'draw' then calls 'plot' on pic and (a,b,c) and sends the result to sendToDraw,
+<eop>
+which finally draws the picture to the window.<eop>
+<eop>
+Arguments:<eop>
+  host - host on which to open a display, i.e. "tucan:0"<eop>
+  pic - the Picture to be drawn<eop>
+  (a,b,c) - the vector triple specifying the bounding box to be sent to<eop>
+<tab>plot (see 'plot' function)<eop>
+  (m,n,p,q) - upper left corner x (m), upper left corner y (n), width (p),<eop>
+
+<tab>and height (q), of window to be opened.<eop>
+<eop>
+-----------------------------------------------------------<eop>
+<eop>
+Module: SquareLimit<eop>
+<eop>
+This module is a sample user module that can be used to draw Square Limit, a wo
+odcut by M. C. Escher.  To draw "SquareLimit" on your host, run the dialogue:<e
+op>
+<tab>final host<eop>
+where 'host' is the host running X, such as "turtle:0".<eop>
+<eop>
+To draw a slightly more interesting picture, tun the dialogue:<eop>
+<tab>skewedfinal host<eop>
+and it will draw "SquareLimit" in a bounding box shaped as a diamond.<eop>
+<eop>
+
+<textstream_end> 
+
+POLY_OBJECT POLY_TEXT |  DefPolyType 
+
+0 DefLineWidth TRANSPARENT DefPenColor TRANSPARENT DefFillColor 1 DefIG 300 
+DefResolution 100 DefYScale 100 DefXScale (=default) DefPolyResId 1 
+DefMasterRef 
+
+MP_CPSUCC_LINK MP_CPPRED_LINK LINK_OVERFLOW MPREF_VALID POLY_COLUMN AUTO_STREAM | | | | | 
+DefSLinksFlags 0 DefStreamSucc 2 DefStreamPred 3 DefTextHandle 
+1440 1080 11160 1080 11160 14760 1440 14760 4 
+POLY_OBJECT POLY_TEXT |  (2) 0 4 TextPolygon 
+
+BeginProfile 
+(Number of Pages) (5)  DefProfileString 
+(Language) (ENGLISH)  DefProfileString 
+(Version) (IslandWrite Version 2.3)  DefProfileString 
+(Creation Date) (gadde May 7, 1993 3:55 PM)  DefProfileString 
+(Text Formats) (default)  DefProfileString 
+(Container Formats) (default)  DefProfileString 
+(Page Formats) (default)  DefProfileString 
+(Fonts) (Courier)  DefProfileString 
+(Fonts) (Times-Roman)  DefProfileString 
+(File Path) ()  DefProfileString 
+(External Contents) ()  DefProfileString 
+(Title) ()  DefProfileString 
+(Status) ()  DefProfileString 
+(Distribution List) ()  DefProfileString 
+(Preparer) ()  DefProfileString 
+(Owner) ()  DefProfileString 
+(Author) ()  DefProfileString 
+(Superseded Documents) ()  DefProfileString 
+EndProfile 
+
+pgscriptdone 
diff --git a/progs/demo/X11/graphics/p.pic b/progs/demo/X11/graphics/p.pic
new file mode 100644
index 0000000..240b386
--- /dev/null
+++ b/progs/demo/X11/graphics/p.pic
@@ -0,0 +1 @@
+Grid 640 640 [((560.00000000000000,560.00000000000000),(440.00000000000000,640.00000000000000)), ((640.00000000000000,560.00000000000000),(560.00000000000000,560.00000000000000)), ((520.00000000000000,440.00000000000000),(640.00000000000000,480.00000000000000)), ((400.00000000000000,480.00000000000000),(520.00000000000000,440.00000000000000)), ((480.00000000000000,360.00000000000000),(360.00000000000000,400.00000000000000)), ((480.00000000000000,360.00000000000000),(640.00000000000000,400.00000000000000)), ((480.00000000000000,280.00000000000000),(640.00000000000000,320.00000000000000)), ((320.00000000000000,320.00000000000000),(480.00000000000000,280.00000000000000)), ((280.00000000000000,400.00000000000000),(160.00000000000000,440.00000000000000)), ((160.00000000000000,240.00000000000000),(280.00000000000000,400.00000000000000)), ((160.00000000000000,440.00000000000000),(160.00000000000000,240.00000000000000)), ((120.00000000000000,480.00000000000000),(0.0000000000000000,320.00000000000000)), ((0.0000000000000000,320.00000000000000),(0.0000000000000000,520.00000000000000)), ((120.00000000000000,480.00000000000000),(0.0000000000000000,520.00000000000000)), ((240.00000000000000,640.00000000000000),(160.00000000000000,480.00000000000000)), ((400.00000000000000,480.00000000000000),(440.00000000000000,640.00000000000000)), ((320.00000000000000,320.00000000000000),(400.00000000000000,480.00000000000000)), ((160.00000000000000,120.00000000000000),(320.00000000000000,320.00000000000000)), ((0.0000000000000000,0.0000000000000000),(160.00000000000000,120.00000000000000)), ((640.00000000000000,240.00000000000000),(320.00000000000000,160.00000000000000)), ((640.00000000000000,40.000000000000000),(560.00000000000000,0.0000000000000000)), ((520.00000000000000,40.000000000000000),(640.00000000000000,80.000000000000000)), ((480.00000000000000,0.0000000000000000),(520.00000000000000,40.000000000000000)), ((480.00000000000000,80.000000000000000),(400.00000000000000,0.0000000000000000)), ((640.00000000000000,120.00000000000000),(480.00000000000000,80.000000000000000)), ((480.00000000000000,160.00000000000000),(640.00000000000000,160.00000000000000)), ((320.00000000000000,0.0000000000000000),(480.00000000000000,160.00000000000000)), ((240.00000000000000,40.000000000000000),(320.00000000000000,0.0000000000000000)), ((0.0000000000000000,0.0000000000000000),(240.00000000000000,40.000000000000000))]
\ No newline at end of file
diff --git a/progs/demo/X11/graphics/q.pic b/progs/demo/X11/graphics/q.pic
new file mode 100644
index 0000000..84e27a4
--- /dev/null
+++ b/progs/demo/X11/graphics/q.pic
@@ -0,0 +1,2 @@
+Grid 16 16 
+[((10.000000000000000,6.0000000000000000),(9.0000000000000000,4.0000000000000000)), ((12.000000000000000,4.0000000000000000),(10.000000000000000,6.0000000000000000)), ((9.0000000000000000,4.0000000000000000),(12.000000000000000,4.0000000000000000)), ((0.0000000000000000,6.0000000000000000),(7.0000000000000000,5.0000000000000000)), ((0.0000000000000000,8.0000000000000000),(0.0000000000000000,16.000000000000000)), ((0.0000000000000000,0.0000000000000000),(0.0000000000000000,4.0000000000000000)), ((15.000000000000000,16.000000000000000),(16.000000000000000,14.000000000000000)), ((16.000000000000000,12.000000000000000),(14.000000000000000,16.000000000000000)), ((13.000000000000000,16.000000000000000),(16.000000000000000,10.000000000000000)), ((13.000000000000000,12.000000000000000),(12.000000000000000,16.000000000000000)), ((16.000000000000000,8.0000000000000000),(13.000000000000000,12.000000000000000)), ((15.000000000000000,6.0000000000000000),(16.000000000000000,8.0000000000000000)), ((16.000000000000000,0.0000000000000000),(15.000000000000000,6.0000000000000000)), ((10.000000000000000,16.000000000000000),(14.000000000000000,5.0000000000000000)), ((10.000000000000000,10.000000000000000),(10.000000000000000,7.0000000000000000)), ((8.0000000000000000,16.000000000000000),(10.000000000000000,10.000000000000000)), ((8.0000000000000000,11.000000000000000),(8.0000000000000000,8.0000000000000000)), ((6.0000000000000000,16.000000000000000),(8.0000000000000000,11.000000000000000)), ((6.0000000000000000,11.000000000000000),(4.0000000000000000,16.000000000000000)), ((6.0000000000000000,9.0000000000000000),(6.0000000000000000,11.000000000000000)), ((4.0000000000000000,11.000000000000000),(4.0000000000000000,9.0000000000000000)), ((2.0000000000000000,16.000000000000000),(4.0000000000000000,11.000000000000000)), ((4.0000000000000000,9.0000000000000000),(0.0000000000000000,8.0000000000000000)), ((6.0000000000000000,9.0000000000000000),(4.0000000000000000,9.0000000000000000)), ((12.000000000000000,6.0000000000000000),(6.0000000000000000,9.0000000000000000)), ((16.000000000000000,0.0000000000000000),(12.000000000000000,6.0000000000000000)), ((9.0000000000000000,3.0000000000000000),(8.0000000000000000,1.0000000000000000)), ((11.000000000000000,1.0000000000000000),(9.0000000000000000,3.0000000000000000)), ((8.0000000000000000,1.0000000000000000),(11.000000000000000,1.0000000000000000)), ((8.0000000000000000,0.0000000000000000),(7.0000000000000000,1.0000000000000000)), ((5.0000000000000000,2.0000000000000000),(7.0000000000000000,1.0000000000000000)), ((6.0000000000000000,0.0000000000000000),(7.0000000000000000,1.0000000000000000)), ((5.0000000000000000,2.0000000000000000),(4.0000000000000000,0.0000000000000000)), ((3.0000000000000000,3.0000000000000000),(5.0000000000000000,2.0000000000000000)), ((3.0000000000000000,3.0000000000000000),(0.0000000000000000,4.0000000000000000)), ((2.0000000000000000,0.0000000000000000),(3.0000000000000000,3.0000000000000000))]
\ No newline at end of file
diff --git a/progs/demo/X11/graphics/r.pic b/progs/demo/X11/graphics/r.pic
new file mode 100644
index 0000000..6e37979
--- /dev/null
+++ b/progs/demo/X11/graphics/r.pic
@@ -0,0 +1,2 @@
+Grid 32 32 
+[((32.000000000000000,0.0000000000000000),(24.000000000000000,8.0000000000000000)), ((32.000000000000000,4.0000000000000000),(30.000000000000000,2.0000000000000000)), ((28.000000000000000,4.0000000000000000),(32.000000000000000,8.0000000000000000)), ((32.000000000000000,12.000000000000000),(26.000000000000000,6.0000000000000000)), ((24.000000000000000,8.0000000000000000),(32.000000000000000,16.000000000000000)), ((22.000000000000000,0.0000000000000000),(24.000000000000000,8.0000000000000000)), ((22.000000000000000,12.000000000000000),(12.000000000000000,0.0000000000000000)), ((32.000000000000000,20.000000000000000),(22.000000000000000,12.000000000000000)), ((24.000000000000000,26.000000000000000),(10.000000000000000,22.000000000000000)), ((32.000000000000000,32.000000000000000),(24.000000000000000,26.000000000000000)), ((16.000000000000000,28.000000000000000),(24.000000000000000,32.000000000000000)), ((6.0000000000000000,26.000000000000000),(16.000000000000000,28.000000000000000)), ((16.000000000000000,32.000000000000000),(4.0000000000000000,28.000000000000000)), ((2.0000000000000000,30.000000000000000),(8.0000000000000000,32.000000000000000)), ((0.0000000000000000,32.000000000000000),(16.000000000000000,16.000000000000000)), ((0.0000000000000000,24.000000000000000),(10.000000000000000,12.000000000000000)), ((4.0000000000000000,8.0000000000000000),(0.0000000000000000,16.000000000000000)), ((28.000000000000000,20.000000000000000),(32.000000000000000,24.000000000000000)), ((16.000000000000000,16.000000000000000),(28.000000000000000,20.000000000000000)), ((4.0000000000000000,8.0000000000000000),(16.000000000000000,16.000000000000000)), ((2.0000000000000000,4.0000000000000000),(4.0000000000000000,8.0000000000000000)), ((2.0000000000000000,4.0000000000000000),(0.0000000000000000,8.0000000000000000)), ((0.0000000000000000,0.0000000000000000),(2.0000000000000000,4.0000000000000000))]
\ No newline at end of file
diff --git a/progs/demo/X11/graphics/s.pic b/progs/demo/X11/graphics/s.pic
new file mode 100644
index 0000000..74659b7
--- /dev/null
+++ b/progs/demo/X11/graphics/s.pic
@@ -0,0 +1 @@
+Grid 32 32 [((24.000000000000000,0.0000000000000000),(32.000000000000000,0.0000000000000000)), ((0.0000000000000000,0.0000000000000000),(16.000000000000000,0.0000000000000000)), ((30.000000000000000,14.000000000000000),(32.000000000000000,12.000000000000000)), ((32.000000000000000,8.0000000000000000),(28.000000000000000,10.000000000000000)), ((26.000000000000000,6.0000000000000000),(32.000000000000000,4.0000000000000000)), ((26.000000000000000,6.0000000000000000),(24.000000000000000,0.0000000000000000)), ((30.000000000000000,14.000000000000000),(26.000000000000000,6.0000000000000000)), ((32.000000000000000,16.000000000000000),(30.000000000000000,14.000000000000000)), ((30.000000000000000,16.000000000000000),(26.000000000000000,18.000000000000000)), ((30.000000000000000,22.000000000000000),(30.000000000000000,16.000000000000000)), ((26.000000000000000,18.000000000000000),(30.000000000000000,22.000000000000000)), ((24.000000000000000,24.000000000000000),(20.000000000000000,20.000000000000000)), ((24.000000000000000,18.000000000000000),(24.000000000000000,24.000000000000000)), ((20.000000000000000,20.000000000000000),(24.000000000000000,18.000000000000000)), ((20.000000000000000,0.0000000000000000),(22.000000000000000,12.000000000000000)), ((14.000000000000000,6.0000000000000000),(16.000000000000000,0.0000000000000000)), ((14.000000000000000,16.000000000000000),(16.000000000000000,20.000000000000000)), ((14.000000000000000,6.0000000000000000),(14.000000000000000,16.000000000000000)), ((20.000000000000000,24.000000000000000),(16.000000000000000,20.000000000000000)), ((32.000000000000000,32.000000000000000),(20.000000000000000,24.000000000000000)), ((16.000000000000000,28.000000000000000),(32.000000000000000,32.000000000000000)), ((8.0000000000000000,28.000000000000000),(16.000000000000000,28.000000000000000)), ((0.0000000000000000,32.000000000000000),(8.0000000000000000,28.000000000000000)), ((0.0000000000000000,24.000000000000000),(4.0000000000000000,30.000000000000000)), ((0.0000000000000000,20.000000000000000),(14.000000000000000,24.000000000000000)), ((0.0000000000000000,16.000000000000000),(16.000000000000000,20.000000000000000)), ((0.0000000000000000,12.000000000000000),(14.000000000000000,16.000000000000000)), ((0.0000000000000000,8.0000000000000000),(14.000000000000000,12.000000000000000)), ((0.0000000000000000,4.0000000000000000),(14.000000000000000,6.0000000000000000))]
\ No newline at end of file
diff --git a/progs/demo/X11/graphics/sqrlmt.hs b/progs/demo/X11/graphics/sqrlmt.hs
new file mode 100644
index 0000000..662cdfa
--- /dev/null
+++ b/progs/demo/X11/graphics/sqrlmt.hs
@@ -0,0 +1,177 @@
+-- Peter Henderson's Recursive Geometry
+-- Syam Gadde and Bo Whong
+-- CS429 Project
+-- SquareLimit User Program
+
+module SqrLimit where
+import HendersonLib
+import Xlib
+{-
+p = File "p.pic"
+
+q = File "q.pic"
+
+r = File "r.pic"
+
+s = File "s.pic"
+-}
+p = Grid 640 640 [((560.0,560.0),(440.0,640.0)), 
+              ((640.0,560.0),(560.0,560.0)), 
+	      ((520.0,440.0),(640.0,480.0)), 
+	      ((400.0,480.0),(520.0,440.0)), 
+	      ((480.0,360.0),(360.0,400.0)), 
+	      ((480.0,360.0),(640.0,400.0)), 
+	      ((480.0,280.0),(640.0,320.0)), 
+	      ((320.0,320.0),(480.0,280.0)), 
+	      ((280.0,400.0),(160.0,440.0)), 
+	      ((160.0,240.0),(280.0,400.0)), 
+	      ((160.0,440.0),(160.0,240.0)), 
+	      ((120.0,480.0),(0.0,320.0)), 
+	      ((0.0,320.0),(0.0,520.0)), 
+	      ((120.0,480.0),(0.0,520.0)), 
+	      ((240.0,640.0),(160.0,480.0)), 
+	      ((400.0,480.0),(440.0,640.0)), 
+	      ((320.0,320.0),(400.0,480.0)), 
+	      ((160.0,120.0),(320.0,320.0)), 
+	      ((0.0,0.0),(160.0,120.0)), 
+	      ((640.0,240.0),(320.0,160.0)), 
+	      ((640.0,40.0),(560.0,0.0)), 
+	      ((520.0,40.0),(640.0,80.0)), 
+	      ((480.0,0.0),(520.0,40.0)), 
+	      ((480.0,80.0),(400.0,0.0)), 
+	      ((640.0,120.0),(480.0,80.0)), 
+	      ((480.0,160.0),(640.0,160.0)), 
+	      ((320.0,0.0),(480.0,160.0)), 
+	      ((240.0,40.0),(320.0,0.0)), 
+	      ((0.0,0.0),(240.0,40.0))]
+
+q = Grid 16 16 [((10.0,6.0),(9.0,4.0)), 
+            ((12.0,4.0),(10.0,6.0)), 
+	    ((9.0,4.0),(12.0,4.0)), 
+	    ((0.0,6.0),(7.0,5.0)), 
+	    ((0.0,8.0),(0.0,16.0)), 
+	    ((0.0,0.0),(0.0,4.0)), 
+	    ((15.0,16.0),(16.0,14.0)), 
+	    ((16.0,12.0),(14.0,16.0)), 
+	    ((13.0,16.0),(16.0,10.0)), 
+	    ((13.0,12.0),(12.0,16.0)), 
+	    ((16.0,8.0),(13.0,12.0)), 
+	    ((15.0,6.0),(16.0,8.0)), 
+	    ((16.0,0.0),(15.0,6.0)), 
+	    ((10.0,16.0),(14.0,5.0)), 
+	    ((10.0,10.0),(10.0,7.0)), 
+	    ((8.0,16.0),(10.0,10.0)), 
+	    ((8.0,11.0),(8.0,8.0)), 
+	    ((6.0,16.0),(8.0,11.0)), 
+	    ((6.0,11.0),(4.0,16.0)), 
+	    ((6.0,9.0),(6.0,11.0)), 
+	    ((4.0,11.0),(4.0,9.0)), 
+	    ((2.0,16.0),(4.0,11.0)), 
+	    ((4.0,9.0),(0.0,8.0)), 
+	    ((6.0,9.0),(4.0,9.0)), 
+	    ((12.0,6.0),(6.0,9.0)), 
+	    ((16.0,0.0),(12.0,6.0)), 
+	    ((9.0,3.0),(8.0,1.0)), 
+	    ((11.0,1.0),(9.0,3.0)), 
+	    ((8.0,1.0),(11.0,1.0)), 
+	    ((8.0,0.0),(7.0,1.0)), 
+	    ((5.0,2.0),(7.0,1.0)), 
+	    ((6.0,0.0),(7.0,1.0)), 
+	    ((5.0,2.0),(4.0,0.0)), 
+	    ((3.0,3.0),(5.0,2.0)), 
+	    ((3.0,3.0),(0.0,4.0)), 
+	    ((2.0,0.0),(3.0,3.0))]
+
+r = Grid 32 32 [((32.0,0.0),(24.0,8.0)), 
+            ((32.0,4.0),(30.0,2.0)), 
+	    ((28.0,4.0),(32.0,8.0)), 
+	    ((32.0,12.0),(26.0,6.0)), 
+	    ((24.0,8.0),(32.0,16.0)), 
+	    ((22.0,0.0),(24.0,8.0)), 
+	    ((22.0,12.0),(12.0,0.0)), 
+	    ((32.0,20.0),(22.0,12.0)), 
+	    ((24.0,26.0),(10.0,22.0)), 
+	    ((32.0,32.0),(24.0,26.0)), 
+	    ((16.0,28.0),(24.0,32.0)), 
+	    ((6.0,26.0),(16.0,28.0)), 
+	    ((16.0,32.0),(4.0,28.0)), 
+	    ((2.0,30.0),(8.0,32.0)), 
+	    ((0.0,32.0),(16.0,16.0)), 
+	    ((0.0,24.0),(10.0,12.0)), 
+	    ((4.0,8.0),(0.0,16.0)), 
+	    ((28.0,20.0),(32.0,24.0)), 
+	    ((16.0,16.0),(28.0,20.0)), 
+	    ((4.0,8.0),(16.0,16.0)), 
+	    ((2.0,4.0),(4.0,8.0)), 
+	    ((2.0,4.0),(0.0,8.0)), 
+	    ((0.0,0.0),(2.0,4.0))]
+
+s = Grid 32 32 [((24.0,0.0),(32.0,0.0)), 
+            ((0.0,0.0),(16.0,0.0)), 
+	    ((30.0,14.0),(32.0,12.0)), 
+	    ((32.0,8.0),(28.0,10.0)), 
+	    ((26.0,6.0),(32.0,4.0)), 
+	    ((26.0,6.0),(24.0,0.0)), 
+	    ((30.0,14.0),(26.0,6.0)), 
+	    ((32.0,16.0),(30.0,14.0)), 
+	    ((30.0,16.0),(26.0,18.0)), 
+	    ((30.0,22.0),(30.0,16.0)), 
+	    ((26.0,18.0),(30.0,22.0)), 
+	    ((24.0,24.0),(20.0,20.0)), 
+	    ((24.0,18.0),(24.0,24.0)), 
+	    ((20.0,20.0),(24.0,18.0)), 
+	    ((20.0,0.0),(22.0,12.0)), 
+	    ((14.0,6.0),(16.0,0.0)), 
+	    ((14.0,16.0),(16.0,20.0)), 
+	    ((14.0,6.0),(14.0,16.0)), 
+	    ((20.0,24.0),(16.0,20.0)), 
+	    ((32.0,32.0),(20.0,24.0)), 
+	    ((16.0,28.0),(32.0,32.0)), 
+	    ((8.0,28.0),(16.0,28.0)), 
+	    ((0.0,32.0),(8.0,28.0)), 
+	    ((0.0,24.0),(4.0,30.0)), 
+	    ((0.0,20.0),(14.0,24.0)), 
+	    ((0.0,16.0),(16.0,20.0)), 
+	    ((0.0,12.0),(14.0,16.0)), 
+	    ((0.0,8.0),(14.0,12.0)), 
+	    ((0.0,4.0),(14.0,6.0))]
+
+quartet p1 p2 p3 p4 =
+  Above 1 (Beside 1 p1 1 p2) 1 (Beside 1 p3 1 p4) 
+
+cyc p1 =
+  quartet p1 (Rot (Rot (Rot p1))) (Rot p1) (Rot (Rot p1))
+
+t = quartet p q r s 
+
+u = cyc (Rot q)
+
+side1 = quartet Nil Nil (Rot t) t
+
+side2 = quartet side1 side1 (Rot t) t
+
+corner1 = quartet Nil Nil Nil u
+
+corner2 = quartet corner1 side1 (Rot side1) u
+
+pseudocorner = quartet corner2 side2 (Rot side2) (Rot t)
+
+pseudolimit = cyc pseudocorner
+
+nonet p1 p2 p3 p4 p5 p6 p7 p8 p9 = 
+  Above 1 (Beside 1 p1 2 (Beside 1 p2 1 p3))
+        2 (Above 1 (Beside 1 p4 2 (Beside 1 p5 1 p6))
+	         1 (Beside 1 p7 2 (Beside 1 p8 1 p9)))
+
+corner = nonet corner2 side2 side2
+               (Rot side2) u (Rot t)
+	       (Rot side2) (Rot t) (Rot q)
+
+squarelimit = cyc corner
+
+final host = draw host corner ((0,0),(500,0),(0,500)) (0,0,500,500)
+skewedfinal host = draw host squarelimit ((0,0),(600,200),(200,600)) (0,0,800,800)
+
+main = getEnv "DISPLAY" exit $ \ host ->
+       xHandleError ( \ (XError msg) -> appendChan stdout msg exit done) $
+       final host
diff --git a/progs/demo/X11/graphics/sqrlmt.hu b/progs/demo/X11/graphics/sqrlmt.hu
new file mode 100644
index 0000000..7d46b0e
--- /dev/null
+++ b/progs/demo/X11/graphics/sqrlmt.hu
@@ -0,0 +1,3 @@
+:o= foldr inline constant
+henderson.hu
+sqrlmt.hs
diff --git a/progs/demo/X11/graphics/stop.pic b/progs/demo/X11/graphics/stop.pic
new file mode 100644
index 0000000..01ed7d6
--- /dev/null
+++ b/progs/demo/X11/graphics/stop.pic
@@ -0,0 +1 @@
+Grid 200 200 [((110.00000000000000,28.000000000000000),(48.000000000000000,39.000000000000000)), ((143.00000000000000,45.000000000000000),(118.00000000000000,32.000000000000000)), ((165.00000000000000,97.000000000000000),(143.00000000000000,45.000000000000000)), ((149.00000000000000,142.00000000000000),(166.00000000000000,98.000000000000000)), ((80.000000000000000,155.00000000000000),(153.00000000000000,146.00000000000000)), ((31.000000000000000,124.00000000000000),(80.000000000000000,156.00000000000000)), ((24.000000000000000,64.000000000000000),(31.000000000000000,124.00000000000000)), ((52.000000000000000,34.000000000000000),(24.000000000000000,64.000000000000000))]
\ No newline at end of file
diff --git a/progs/demo/X11/graphics/strange.pic b/progs/demo/X11/graphics/strange.pic
new file mode 100644
index 0000000..5484b0b
--- /dev/null
+++ b/progs/demo/X11/graphics/strange.pic
@@ -0,0 +1,2 @@
+Overlay (Grid 200 200 [((110.00000000000000,28.000000000000000),(48.000000000000000,39.000000000000000)), ((143.00000000000000,45.000000000000000),(118.00000000000000,32.000000000000000)), ((165.00000000000000,97.000000000000000),(143.00000000000000,45.000000000000000)), ((149.00000000000000,142.00000000000000),(166.00000000000000,98.000000000000000)), ((80.000000000000000,155.00000000000000),(153.00000000000000,146.00000000000000)), ((31.000000000000000,124.00000000000000),(80.000000000000000,156.00000000000000)), ((24.000000000000000,64.000000000000000),(31.000000000000000,124.00000000000000)), ((52.000000000000000,34.000000000000000),(24.000000000000000,64.000000000000000))]) (Flip (File "text.pic"))
+
diff --git a/progs/demo/X11/graphics/text.pic b/progs/demo/X11/graphics/text.pic
new file mode 100644
index 0000000..87fd55c
--- /dev/null
+++ b/progs/demo/X11/graphics/text.pic
@@ -0,0 +1 @@
+Grid 200 200 [((177.00000000000000,91.000000000000000),(177.00000000000000,91.000000000000000)), ((172.00000000000000,63.000000000000000),(175.00000000000000,79.000000000000000)), ((164.00000000000000,73.000000000000000),(148.00000000000000,77.000000000000000)), ((159.00000000000000,63.000000000000000),(164.00000000000000,71.000000000000000)), ((148.00000000000000,63.000000000000000),(159.00000000000000,62.000000000000000)), ((146.00000000000000,61.000000000000000),(149.00000000000000,92.000000000000000)), ((122.00000000000000,61.000000000000000),(115.00000000000000,61.000000000000000)), ((130.00000000000000,62.000000000000000),(122.00000000000000,61.000000000000000)), ((133.00000000000000,75.000000000000000),(130.00000000000000,63.000000000000000)), ((124.00000000000000,89.000000000000000),(131.00000000000000,79.000000000000000)), ((111.00000000000000,81.000000000000000),(124.00000000000000,89.000000000000000)), ((114.00000000000000,61.000000000000000),(108.00000000000000,78.000000000000000)), ((88.000000000000000,64.000000000000000),(91.000000000000000,91.000000000000000)), ((73.000000000000000,62.000000000000000),(96.000000000000000,60.000000000000000)), ((65.000000000000000,97.000000000000000),(49.000000000000000,100.00000000000000)), ((61.000000000000000,80.000000000000000),(65.000000000000000,97.000000000000000)), ((46.000000000000000,79.000000000000000),(61.000000000000000,80.000000000000000)), ((45.000000000000000,61.000000000000000),(46.000000000000000,79.000000000000000)), ((61.000000000000000,63.000000000000000),(41.000000000000000,62.000000000000000))]
\ No newline at end of file