MzLib Reference Manual

Matthew Flatt
mflatt@cs.rice.edu
Rice University

Version 45
November 1996

• Contents
• This Manual
  • Thanks
• Overview
• Libraries
  • Compatibility
  • Constants
  • Dates
  • Structures
  • Files
  • Utilities
  • Macros
  • Match
  • Converted Printing
  • Pretty Printing
  • Sharing
  • MrSpidey
  • Strings
  • Syntax Rules
  • Triggers
  • Units with Signatures
    • Units with Signatures
    • Signatures
    • Signed Units
    • Signed Compound Units
    • Signed Units as Primitive Units
    • Invoking Signed Units
    • Signing Primitive Units
    • Compiling Signed Unit Expressions
    • Signed Units and Namespaces
  • Complex Math
• Index
• About this document ...