Hacker News new | ask | show | jobs
user: dolia
created: 2022-06-18
karma: 35

submissions:

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers
5 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: "The Roots of Lisp" Interpreter
2 points | 0 comments