search

UoYCS-plasma / LazySmallCheck2012

Lazy SmallCheck with functional values and existentials!
BSD 3-Clause "New" or "Revised" License
4 stars 2 forks source link

Introduce renamed constructors #7

Closed jasonreich closed 12 years ago

jasonreich commented 12 years ago

Maintain consistency.