AlphaUncommon
pigworker/CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
- Owner
- pigworker (personal account)
- Stars
- Stars: 265
- Forks
- Forks: 28
- Language
- Agda
- License
- None
- Created
- 2017
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by pigworker
All 2 repos by pigworker- pigworker/MetaprogAgdaStars: 114Prototype
Nearby in Agda
All Agda repos- UniMath/agda-unimathStars: 318AgdaAlpha
- liamoc/learn-you-an-agdaStars: 315AgdaAlpha
- martinescardo/TypeTopologyStars: 288AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 237AgdaPrototype
- agda/agda2hsStars: 210AgdaPrototype
- copumpkin/categoriesStars: 154AgdaPrototype