hakaru
hakaru copied to clipboard
Indexed names in KB
The conversation at commit 0432f22 points to the need for a real design decision to be made on how to handle indexed names in KB, that may well have a ripple effect.