Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

pigworker/MetaprogAgda

being the materials for Summer 2013's course

Owner: pigworker (personal account)
Stars: Stars: 114
Forks: Forks: 18
Language: No language
License: None
Created: 2013
Tier: Prototype (100 to 249 ★) What this tier means

More repos by pigworker

All 2 repos by pigworker

pigworker/CS410-17Stars: 265AgdaAlpha