PrototypeCommon
ice1000/Books
My slides and notes
- Owner
- ice1000 (personal account)
- Stars
- Stars: 140
- Forks
- Forks: 7
- Language
- Agda
- License
- MIT
- Created
- 2018
- Topics
- bookbooks
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ice1000
All 5 repos by ice1000- ice1000/resumeStars: 830TypstBeta
- ice1000/jimguiStars: 196JavaPrototype
- ice1000/A8TranslateStars: 161KotlinPrototype
- ice1000/intellij-zigStars: 117KotlinPrototype
Nearby in Agda
All Agda repos- agda/agda2hsStars: 210AgdaPrototype
- copumpkin/categoriesStars: 154AgdaPrototype
- thehottgame/TheHoTTGameStars: 141AgdaPrototype
- gallais/agdarsecStars: 138AgdaPrototype
- UlfNorell/agda-preludeStars: 135AgdaPrototype
- HoTT-Intro/AgdaStars: 129AgdaPrototype