search

martinescardo / HoTT-UF-Agda-Lecture-Notes

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

The zlib package does not exist on Debian #6

Closed tomdjong closed 5 years ago

tomdjong commented 5 years ago

I had the macOS and Debian instructions confused.