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
Add fix operator
#13
Closed
radeusgd
closed
4 years ago
radeusgd
commented
4 years ago
Done in e27ef6433376f9424f5cceef7eb819666efa8bec
Done in e27ef6433376f9424f5cceef7eb819666efa8bec