PrototypeCommon
jespercockx/agda-lecture-notes
Agda lecture notes for the Functional Programming course at TU Delft
- Owner
- jespercockx (personal account)
- Stars
- Stars: 135
- Forks
- Forks: 17
- Language
- TeX
- License
- None
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in TeX
All TeX repos- xiaoweiChen/LLVM-Techniques-Tips-and-Best-PractiesStars: 135TeXPrototype
- danielblanco96/resume-publicStars: 135TeXPrototype
- RedPandaProjects/STALKERonUEStars: 135TeXPrototype
- fcampelo/Design-and-Analysis-of-ExperimentsStars: 135TeXPrototype
- tudelft3d/terrainbookStars: 135TeXPrototype
- GeneKao/orgmode-latex-templatesStars: 135TeXPrototype