Portuguese | English |
---|---|
travar verb | brake [braked, braking, brakes](to operate brakes) crash [crashed, crashing, crashes](computing: to terminate unexpectedly) freeze up(computing) hang [hung, hung, hanging, hangs](computing: to stop responding) lock up(of a computer: to cease responding) wage [waged, waging, wages](to conduct or carry out) |
contravariante adjective | contravariant(which reverses composition) |
contravariância noun {f} | contravariance(reversal of the order of data types acted upon by an operator) |
destravar verb | unlock [unlocked, unlocking, unlocks](give access to something) |
entravar verb | hinder [hindered, hindering, hinders](to keep back; to delay or impede) |
functor/funtor contravariante noun {m} | contravariant functor(category theory: functor) |