professional-website

My website for my professional portolio and academic bio

linear-server

A very simple server to demonstrate what using linear types looks like