# jespercockx/agda-lecture-notes

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

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

jespercockx/agda-lecture-notes has 135 stars on GitHub. Its RepoMasters card: Prototype tier. Agda lecture notes for the Functional Programming course at TU…

| Field | Value |
| --- | --- |
| Owner | [jespercockx](https://repo.masters-masters.com/en/owners/jespercockx) |
| Stars | 135 |
| Forks | 17 |
| Language | [TeX](https://repo.masters-masters.com/en/languages/tex) |
| License | None |
| Created | 2021 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [jespercockx/agda-lecture-notes](https://github.com/jespercockx/agda-lecture-notes) |

## Repository

Agda lecture notes for the Functional Programming course at TU Delft

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in TeX

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.