Definify.com
Definition 2024
tactical
tactical
English
Adjective
tactical (not comparable)
- of, or relating to tactics
- of, or relating to military operations that are smaller or more local than strategic ones
- adroit, skilful or ingenious
- (firearms) having a military appearance, typically with accessories such as a bipod, adjustable stock, detachable magazine or black coloration
Derived terms
|
|
Translations
of or relating to tactics
Noun
tactical (plural tacticals)
- (computing) a combinator of proof tactics
- 2013, Adam Chlipala, Certified Programming with Dependent Types:
- The repeat that we use here is called a tactical, or tactic combinator. The behavior of repeat t is to loop through running t, running t on all generated subgoals, running t on their generated subgoals, and so on. When t fails at any point in this search tree, that particular subgoal is left to be handled by later tactics.
-