Not registered as user yet

Name: Colin Runciman

All Activities

• Author of FitSpec: Refining Property Sets for Functional Testing within the Haskell-track in Haskell 2016
• Author of Speculate: Discovering Conditional Equations and Inequalities about Black-Box Functions by Reasoning from Test Results within the Haskell 2017-track in Haskell 2017