scarletquasar/type-theory-ts

Practicing type theory in typescript

This repository is not active