RFC: Syntax for implicit parameter bindings

Koen Claessen koen@cs.chalmers.se
Mon, 4 Feb 2002 10:45:13 +0100 (MET) 

Ch. A. Herrmann proposed:

 | addBase{?base=7} 5

I like this! It is the least polluting syntax of all.

/Koen.