# jespercockx/agda-lecture-notes

<https://repo.masters-masters.com/repos/jespercockx/agda-lecture-notes>

[Accueil](https://repo.masters-masters.com/) › [jespercockx](https://repo.masters-masters.com/owners/jespercockx) › [agda-lecture-notes](https://repo.masters-masters.com/repos/jespercockx/agda-lecture-notes)

jespercockx/agda-lecture-notes, dépôt open source à 135 étoiles sur GitHub. Carte Prototype de RepoMasters. Agda lecture notes for the Functional Programming…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [jespercockx](https://repo.masters-masters.com/owners/jespercockx) |
| Étoiles | 135 |
| Forks | 17 |
| Langage | [TeX](https://repo.masters-masters.com/languages/tex) |
| Licence | Aucune |
| Création | 2021 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [jespercockx/agda-lecture-notes](https://github.com/jespercockx/agda-lecture-notes) |

## Fiche du dépôt

Agda lecture notes for the Functional Programming course at TU Delft

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts TeX

- [danielblanco96/resume-public · ★ 135 · TeX · Prototype](https://repo.masters-masters.com/repos/danielblanco96/resume-public)
- [RedPandaProjects/STALKERonUE · ★ 135 · TeX · Prototype](https://repo.masters-masters.com/repos/RedPandaProjects/STALKERonUE)
- [alexeyinkin/eb-1a · ★ 135 · TeX · Prototype](https://repo.masters-masters.com/repos/alexeyinkin/eb-1a)
- [fcampelo/Design-and-Analysis-of-Experiments · ★ 135 · TeX · Prototype](https://repo.masters-masters.com/repos/fcampelo/Design-and-Analysis-of-Experiments)
- [jyotisham/jyotisha · ★ 135 · TeX · Prototype](https://repo.masters-masters.com/repos/jyotisham/jyotisha)
- [streamjoin/nusthesis · ★ 135 · TeX · Prototype](https://repo.masters-masters.com/repos/streamjoin/nusthesis)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.