Skip to content

Top Best Ask Show New Jobs

solomonb | Better HN

solomonb

1,224 karmaJoined December 2, 2019467 submissions

Software engineer with interests in programming language theory and type theory.

I also like compost.

and radio.

blog.cofree.coffee www.kpbj.fm www.kchungradio.org

ssbothwell_at_gmail_dot_com

Recent submissions

1

Show HN: Single file Lambda Calculus' demonstrating various type system features (opens in new tab)

(github.com)GitHub

1solomonb2mo ago0