Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Proversdigitalcommons.chapman.edu·5 pts·dolia·0