jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

133

stars

70

commits

TeX

primary language

Mar 3, 2026

updated

Browse cluster: Research Paper Analysis and LLM Evaluation

Contributors

jespercockx

63 commits

juhp

2 commits

JaredCorduan

1 commits

conal

1 commits

jespercockx/agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

133

stars

70

commits

TeX

primary language

Mar 3, 2026

updated

Browse cluster: Research Paper Analysis and LLM Evaluation

Contributors

jespercockx

63 commits

juhp

2 commits

JaredCorduan

1 commits

conal

1 commits

Languages

TeX

84.3%

BibTeX Style

15.5%