functional & systems programmer type theory meddler language designer game developer email me (or contact me on discord)
current project - all the tiny bow repos: ribbon-language, ribbon-engine, support forks personal github - i have quite a few old projects archived here, if you're interested resources - academic resources i've collected while doing language design research monoidal-rows - an experimental type system, one of many prototypes