A mechanized proof of soundness of calculus defined in A Theory of Quoted Code Patterns which is a formalization of pattern matching on code available in Scala 3 as part of its new macro system.
-
Updated
Jul 23, 2020 - TeX
A mechanized proof of soundness of calculus defined in A Theory of Quoted Code Patterns which is a formalization of pattern matching on code available in Scala 3 as part of its new macro system.
Add a description, image, and links to the dotty topic page so that developers can more easily learn about it.
To associate your repository with the dotty topic, visit your repo's landing page and select "manage topics."