`f`

above has one parameter. Now consider the following function:
implies:bool # bool -> bool; implies(a,b) <= not(a) or b;

`implies`

has two parameters both boolean and it returns a boolean.

s.danicic@gold.ac.uk

Sebastian Danicic BSc MSc PhD (Reader in Computer Science)

Dept of Computing, Goldsmiths, University of London, London SE14 6NW

Last updated 2010-12-29