A dry gate is a gate that only accepts an argument of the type it explicitly specified. This is in contrast to a wet gate, which can accept arguments of different types and transparently pass them through. The typical rune for a dry gate is |=
.
Further Reading
- Hoon School: Metals lesson: This lesson covers dry and wet gates.