Category:Typing/Compatibility/Structural
Subcategories
This category has the following 31 subcategories, out of 31 total.
B
D
F
- Frege (11 P)
L
- Lambda Prolog (1 P)
- Lhogho (8 P)
R
S
- SWI-Prolog (empty)
U
- Ultimate++ (5 P)
Y
- Ya (1 P)
Z
- Zoea Visual (27 P)