search

martinescardo / HoTT-UF-Agda-Lecture-Notes

Lecture notes on univalent foundations of mathematics with Agda
GNU General Public License v3.0
218 stars 18 forks source link

Installation instructions #7

Closed tomdjong closed 5 years ago

tomdjong commented 5 years ago

As Agda just released 2.6.0, you can now run cabal install Agda.

Our installation instructions are more comprehensive (in some way) than Agda's documentation, so we should refer to them in README.md.

martinescardo commented 5 years ago

Thank you so much, @tomdjong