andyfriesen · August 12, 2023 23:24
diff --git a/subtyping.md b/subtyping.md
diff --git a/subtyping.md.txt b/subtyping.md.txt
 $$
 \tag*{r = f(x)}
 \cfrac
 {\Gamma \vdash f: (A) \rightarrow B, x: T, r: R}
 {(A) \rightarrow B <: (T) \rightarrow R}
 $$
	$$
	\tag*{r = f(x)}
	\cfrac
	{\Gamma \vdash f: (A) \rightarrow B, x: T, r: R}
	{(A) \rightarrow B <: (T) \rightarrow R}
	$$