<div dir="ltr">I&#39;ve come across interesting papers - and old, sometimes inaccessible, repositories - related contracts in Haskell (Dana Xu and SPJ&#39;s papers; haskellcontracts and the Programatica Project). And then some newer, apparently not quite mature projects (Dan Rosen&#39;s repositories, for instance). Is there anything in between - mature, but not abandoned?<div>
<br></div><div>Thanks,</div><div>  Julian</div></div>