Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Proversdigitalcommons.chapman.edu5 points·dolia··0 commentsOpen articleSaveView on HN