PrototypeCommon
UlfNorell/agda-prelude
Programming library for Agda
- Owner
- UlfNorell (personal account)
- Stars
- Stars: 135
- Forks
- Forks: 23
- Language
- Agda
- License
- MIT
- Created
- 2014
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Agda
All Agda repos- thehottgame/TheHoTTGameStars: 141AgdaPrototype
- ice1000/BooksStars: 140AgdaPrototype
- gallais/agdarsecStars: 138AgdaPrototype
- HoTT-Intro/AgdaStars: 129AgdaPrototype
- wenkokke/schmittyStars: 110AgdaPrototype
- alhassy/gentle-intro-to-reflectionStars: 108AgdaPrototype