README: List of algorithms
Demo: Proper type signature for displayAlg