AlphaUncommon
liamoc/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Archived: this repository is read-only
- Owner
- liamoc (personal account)
- Stars
- Stars: 315
- Forks
- Forks: 33
- Language
- Agda
- License
- BSD-3-Clause
- Created
- 2010
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by liamoc
All 2 repos by liamoc- liamoc/holbertStars: 172HaskellPrototype
Nearby in Agda
All Agda repos- cedille/cedilleStars: 398AgdaAlpha
- EgbertRijke/HoTT-IntroStars: 373AgdaAlpha
- UniMath/agda-unimathStars: 318AgdaAlpha
- martinescardo/TypeTopologyStars: 288AgdaAlpha
- pigworker/CS410-17Stars: 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 238AgdaPrototype