<div dir="ltr"><div>Agda 2.4.0 has finally been released!</div><div><br></div><div>To install:</div><div>  cabal update</div><div>  cabal install Agda</div><div><br></div><div>Check it out on Hackage</div><div>  <a href="https://hackage.haskell.org/package/Agda">https://hackage.haskell.org/package/Agda</a></div>

<div><br></div><div>Find out what&#39;s new here</div><div>  <a href="https://hackage.haskell.org/package/Agda-2.4.0/changelog">https://hackage.haskell.org/package/Agda-2.4.0/changelog</a></div><div><br></div><div>/ Ulf</div>

</div>