main Where Let (main args) Let MAP (SEARCH.MAP Z.compare Func {key _}. key) In Let G (GRAPH.G MAP) Let g (LIST.reduce [ {0 [3 1]} {1 [2 0 5]} {2 [3]} {3 [2 4]} ] MAP.empty MAP.insert) In (LIST.for_each (G.strongly_connected_components g) Func c. (STDIO.print_line (STRING.join " " (LIST.map c Z.show)))) Where Let GRAPH Package "graph" Let LIST Package "list" Let SEARCH Package "search" Let STDIO Package "stdio" Let STRING Package "string" Let Z Package "z"