HoTT-UF-Agda-Lecture-Notes icon indicating copy to clipboard operation
HoTT-UF-Agda-Lecture-Notes copied to clipboard

Published 20 hours ago • verified publisher icon martinescardo

Make this repo an Agda library to solve the exercises

Open jonaprieto opened this issue 6 years ago • 1 comments

To solve the exercises, it's much easier if the code is an Agda library. But then, maybe it is needed to add instructions on how to install it (e.g. use agda-pkg).

jonaprieto avatar Apr 15 '19 13:04 jonaprieto

Can you in that case please also add the instructions to use this? Maybe a file Solving-Exercises.md?

martinescardo avatar Apr 15 '19 14:04 martinescardo