solomonb

Karma: 1,157
Created: 6 years ago

About

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 (github.com) 1 point · 17 days ago · 0 comments

All submissions on HN · View profile on HN