issues
search
radeusgd
/
QuotedPatternMatchingProof
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.
3
stars
0
forks
source link
Update README.md
#18
Open
radeusgd
opened
4 years ago