|
|
|
|
|
by nielstron
398 days ago
|
|
the problem with LSPs is that they don't guarantee generating a type annotation that we can use for constraints, i.e. we can not ensure the prefix property using LSPs. so we had to roll our own :) Pulling in more features to help the system is definitely worth looking into! |
|