Add angle brackets to bare URLs

See https://github.com/DavidAnson/markdownlint/blob/main/doc/Rules.md#md034
This commit is contained in:
Jan Van Bruggen 2022-09-07 22:24:25 -06:00
parent 3fa6e4c6ef
commit 3902668ce5
No known key found for this signature in database
GPG key ID: FE2A4E38E0FA6134
7 changed files with 8 additions and 9 deletions

View file

@ -5,7 +5,7 @@ Ayaz Hafiz
## Summary
This document describes how polymorphic lambda sets are specialized and resolved
in the compiler's type solver. It's derived from the original document at https://rwx.notion.site/Ambient-Lambda-Set-Specialization-50e0208a39844ad096626f4143a6394e.
in the compiler's type solver. It's derived from the original document at <https://rwx.notion.site/Ambient-Lambda-Set-Specialization-50e0208a39844ad096626f4143a6394e>.
TL;DR: lambda sets are resolved by unifying their ambient arrow types in a “bottom-up” fashion.