Improve API for registering/managing inference rules and validation rules

TypeFox / typir

Typir is a library for building type systems

MIT License

10 stars 2 forks source link

Open JohannesMeierSE opened 1 week ago

JohannesMeierSE commented 1 week ago

Improve the API for registering/managing inference rules and validation rules ...

regarding performance, since all rules will be checked/applied for all domain elements
e.g. with a key-value approach