crossleydominic/VisiblePreconditions
An experimental C# library that uses the type system to make method preconditions/postconditions visible in the method signature.
C#LGPL-3.0
An experimental C# library that uses the type system to make method preconditions/postconditions visible in the method signature.
C#LGPL-3.0