idris-1.3.0: Functional Programming Language with Dependent Types
Idris.WhoCalls
Description
whoCalls :: Name -> Idris [(Name, [Name])] Source #
callsWho :: Name -> Idris [(Name, [Name])] Source #