On Mon, 2013-08-05 at 23:13 -0400, Julian Arni wrote: > I've come across interesting papers - and old, sometimes inaccessible, > repositories - related contracts in Haskell (Dana Xu and SPJ's papers; > haskellcontracts and the Programatica Project). And then some newer, > apparently not quite mature projects (Dan Rosen's repositories, for > instance). Is there anything in between - mature, but not abandoned?
We did an implementation of the contracts idea for one of our customers which is available (under AGPL or commercial license) on github: https://github.com/netrium/Netrium -- Duncan Coutts, Haskell Consultant Well-Typed LLP, http://www.well-typed.com/ _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
