18: {v : (IO ()) | v == Main.main}main = [Char] -> (IO ())putStrLn {v : [Char] | len v >= 0}"Easter Egg: to force Makefile"
Substantial Code Bases
10KLoc, 50+ Modules
Complex Properties
Memory Safety, Functional Correctness*, Termination
Data.List
Data.Set.Splay
Data.Vector.Algorithms
HsColour
Data.Map.Base
Data.Text
Data.Bytestring