Library Coq.Program.Syntax
Custom notations and implicits for Coq prelude definitions.
 
   Author: Matthieu Sozeau
   Institution: LRI, CNRS UMR 8623 - University Paris Sud
 
 Haskell-style notations for the unit type and value. 
Set maximally inserted implicit arguments for standard definitions. 
    
  