andyfriesen/subtyping.md

## subtyping.md

      
    Raw
  

              subtyping.md
            
          
    $$
\tag*{r = f(x)}
\cfrac
{\Gamma \vdash f: (A) \rightarrow B, x: T, r: R}
{(A) \rightarrow B <: (T) \rightarrow R}
$$

  
## 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}
	$$