Snårkl: Somewhat Practical, Pretty Much Declarative Verifiable Computing in Haskell. - Gordon Stewart 001; Samuel Merten; Logan Leland (PADL, 2018)