home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
BURKS 2
/
BURKS_AUG97.ISO
/
BURKS
/
LANGUAGE
/
ML
/
MOSMLREF
/
img20.gif
< prev
next >
Graphics Interchange Format
|
1997-07-31
|
2KB
|
440x132
|
1-bit (2 colors)
Labels:
black
|
darkness
OCR:
ty ::= tyTer { { tyrom ) } type variable record type expression tyseq longtycon type construction ty1 * . .. * tyn tuple type, n ≥ 2 ty1 -> ty2 function type expression ( ty ) lab : ty ( , tyrom ) type expression row
