I noticed a small discrepancy between the explainer text for how core type definitions work with what's in Binary.md and what's implemented. What's implemented is actually a bit nicer (symbolic identifiers work, which I just checked), so this PR (should) bring the Explainer up to date.
I noticed a small discrepancy between the explainer text for how core type definitions work with what's in Binary.md and what's implemented. What's implemented is actually a bit nicer (symbolic identifiers work, which I just checked), so this PR (should) bring the Explainer up to date.