<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'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>