Idris.WhoCalls
Description
whoCalls :: Name -> Idris [(Name, [Name])] #
callsWho :: Name -> Idris [(Name, [Name])] #