dolia Karma 36 Created 4 years ago Recent Submissions 1. ▲ Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (digitalcommons.chapman.edu) 5 points · 16 days ago · 0 comments 2. ▲ Show HN: "The Roots of Lisp" Interpreter (github.com) 2 points · 4 years ago · 0 comments All submissions on HN · View profile on HN