A Haskell program to illustrate the state verification problem in economicsgithub.com/jmoy21 pointsyomritoyj11 years ago