We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Deploy plfa/plfa.github.io to github.com/plfa/plfa.github.io.git:master
Changed missed inherent occurrences to intrinsic