deployed site
Added post on Type Theory w/ Scoped Realizability