pupper Solution to PlaidCTF 2018 pupper challenge. We are given a mass of ML code which implements a strongly typed ML-esque language called dog[go].