Dead code elimination using souffle-haskell

In this video series, I build a data-flow based "dead code elimination" algorithm for a small language using a combination of Haskell and Souffle Datalog.

The final code can be found in this repository.