Find link

language:

jump to random article

Find link is a tool written by Edward Betts.

searching for Metavariable 3 found (10 total)

alternate case: metavariable

DMS Software Reengineering Toolkit (903 words) [view diff] exact match in snippet view article find links to article

corresponding to the metavariable declaration in the signature line, e.g., e1 must be of syntactic category: (any) expression. If a metavariable is mentioned
Agda (programming language) (1,310 words) [view diff] exact match in snippet view article
metavariables for program construction. For example, one can write functions like this in Agda: add : ℕ → ℕ → ℕ add x y = ? ? here is a metavariable.
Boolean algebra (9,399 words) [view diff] exact match in snippet view article find links to article
referring to generic propositions to use Greek letters Φ, Ψ, ... as metavariables (variables outside the language of propositional calculus, used when