Post

totally missed the first talk because ain't no fucking way I was waking up at 6am to spend an hour and a half in transit to make it to a 9am talk

second talk thoughts: combining algebraic subtyping with occurrence typing is very cool, why had I never thought of that before

featuring Rhombus!