| commit | 14a0103b196cfa50f6124fe9c0956de4017bdf23 | |
| author | mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | |
| Sat, 10 Jun 2023 12:50:53 +0000 (10 12:50 +0000) | ||
| committer | GitHub <noreply@github.com> | |
| Sat, 10 Jun 2023 12:50:53 +0000 (10 12:50 +0000) | ||
| tree | bfa975f48a1d7aae78cf774594d90a1684e01ec5 | treesnapshot (tar.gz zip) |
| parent | 3e051f6aba3f42e1de4f124d0a526f3c51b81a7c | commitdiff |
| parent | 6c720dd8be09839a25162a53590778bac66e93d5 | commitdiff |
Merge pull request #8992 from monoidal/wip/extended-literals
Add the ExtendedLiterals extension
Add the ExtendedLiterals extension