Skip to content

Coq: Improved attribute pattern performance#3085

Merged
RunDevelopment merged 2 commits intoPrismJS:masterfrom RunDevelopment:coq-attr-perfSep 26, 2021
+2-2

Commits

Commits on Sep 17, 2021

Commits on Sep 26, 2021