rdl 1.0.1.rc1

RDL is a gem that allows contracts (pre- and postconditions) to be added to methods. Preconditions are checked at run time when the method is called, and postconditions are checked at run time when the method returns. RDL also includes extensive support for type contracts, which check the types of arguments and returns when the method is called and when it returns, respectively.