Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
dolia | Dark Hacker News
user:
dolia
created:
June 18, 2022
karma:
36
submissions
comments
1.
Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers
(digitalcommons.chapman.edu)
5 points
by
dolia
17 days ago
|
0 comments
2.
Show HN: "The Roots of Lisp" Interpreter
(github.com)
2 points
by
dolia
4 years ago
|
0 comments