Skip to content

Instantly share code, notes, and snippets.

What would you like to do?
dependencies :: Expr -> Set.Set Id
dependencies = cata algebra where
algebra (Cst _) = Set.empty
algebra (Var x) = Set.singleton x
algebra (Op _ xs) = Set.unions xs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment