Skip to content

Top Best Ask Show New Jobs

dolia | Better HN

dolia

35 karmaJoined June 18, 202217 submissions

Recent submissions

1

Compiling Haskell into Lean: Common Abstract Syntax for Haskell and Provers (opens in new tab)

(digitalcommons.chapman.edu)

5dolia9d ago0

2

Show HN: "The Roots of Lisp" Interpreter (opens in new tab)

(github.com)GitHub

2dolia4y ago0