material-implication topic

List material-implication repositories

decorator-contracts

Stars

Forks

Watchers

Decorator Contracts is a library that provides the ability to create and assign Code Contracts to ECMAScript and TypeScript classes. This enables enforcement of the Liskov substitution principle and t...

final-hill

assertion

behavioral-subtyping

code-contracts

decorators