A short word about active-data, which is referenced in our project

Mike Sperber (Active Group) and others initiated the active-data project. We're interested in using his approach to creating contracts for functions, records, and other data used in the program. This part of active data is used when the product needs a clear reflection of function and record types.

Here are the resource links for active-data and its usage in this project:

NOTE: Copyright statement