SRFI 92: ALAMBDA and ALAMBDA*
    by Joo ChurlSoo
    
    status: withdrawn (2007-04-09)
    keywords: Miscellaneous, Type Checking
    
    Abstract
      This SRFI introduces ALAMBDA and ALAMBDA*, each
      of which has two modes of operation:
      
        - it creates a procedure that checks actual
        arguments and takes optional arguments,
        
 - it returns a different procedure by checking
        each of actual arguments and the number of them.