Commit graph

4 commits

Author SHA1 Message Date
Aaron Weiss
d7ad1b5d55
Remove duplicate clause caught in rereading 2022-09-14 10:43:29 -07:00
Aaron Weiss
44876dce9e fix typo 2022-08-17 13:46:59 -04:00
Aaron Weiss
39c55e616f I say "thus" too much 2022-08-16 19:31:07 -04:00
Aaron Weiss
462c6d1e8d RFC: expanded subtyping for generic function types 2022-08-16 19:26:13 -04:00