18: {x2 : (IO ()) | (x2 == Main.main)}main = [Char] -> (IO ())putStrLn {x2 : [Char] | ((len x2) >= 0)}"Easter Egg: to force Makefile"
Substantial code bases.
Complex properties.
Data.List
Data.Set.Splay
Data.Vector.Algorithms
Data.Map.Base
Data.Text
Data.Bytestring
Proving termination is easy in practice.
503
67%
30%
/[...]
1
100
20
12
IO
8