README.md

Down and Dirty with Semantic Set-theoretic Types

If you're looking for the source code you're in the right place!

The rendered tutorial is hosted at https://pnwamk.github.io/sst-tutorial/.