search

tsi-unito / guida_degli_studenti_di

Punto di aggregazione per materiale (esami, appunti, suggerimenti, ecc.) utile agli studenti per la vita universitaria.
Other
192 stars 48 forks source link

pdf in cui sono spiegate delle cose di agda #65

Closed chicca2611 closed 1 year ago

chicca2611 commented 1 year ago

è un sito che potrebbe tornare utile per chi fa mfi (di agda purtroppo non si trovano molte cose in giro)

federicotorrielli commented 1 year ago

@chicca2611 che tipo di file hai aggiunto? Non ha estensione?

federicotorrielli commented 1 year ago

https://github.com/stefa168/guida_degli_studenti_di/commit/c197b9e2980f39975b2cbaf227475f65fd4dde92

^^^ Aggiunto come si deve