Experiment with Simplicity HL: Andrew Poelstra on Compiling Bitcoin Smart Contracts | DailyDevLists