applied-abstraction/precept — Issue #81: We should verify what should is verifiable
Author: guerrilla
Created: 2012-03-07 19:02:06+00:00
State: open
Labels: Idea

http://www.haskell.org/haskellwiki/Research_papers/Testing_and_correctness