<!--
    Homotopy type theory
-->
<ruleset name="HomotopyTypeTheory.org">
	<target host="homotopytypetheory.org" />
	<target host="www.homotopytypetheory.org" />

	<securecookie host=".+" name=".+" />

	<rule from="^http:" to="https:" />
</ruleset>
