A few remarks on role subtyping in the manual.

Authored by ezyang on Mar 6 2017, 5:22 PM.

Description

A few remarks on role subtyping in the manual.

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

Details

Committed
ezyangMar 6 2017, 5:22 PM
Parents
rGHCcd9c7094756e: Update .mailmap [skip ci]
Branches
Unknown
Tags
Unknown