This website is meant to explore ideas about type systems, effect systems, and logics.