home *** CD-ROM | disk | FTP | other *** search

---

/ BURKS 2 / BURKS_AUG97.ISO / BURKS / LANGUAGE / ML / MOSMLMAN / img23.gif

< prev

next >

Graphics Interchange Format  |  1997-07-31  |  3KB  |  473x254  |  1-bit (2 colors)

Labels: black | darkness
OCR: structure Reduce :> Reduce = struct local opan Expr in fon nagate (Nag a) = 8 | nagata a = Nag a fun reduce (Nag (Nag a)) = reduce (Nag a) = nagata (reduce a) 1 reduce (Plus (Cst 0, a2)) = reduce a2 1 reduce (Plus (a1, Cst 0) ) = reduce a1 - reduce (Plus (a1, a2) ) = Plus (reduce al, reduce =2) | reduce a = 8 and

---