PrototypeCommon
agda/agda2hs
Compiling Agda code to readable Haskell
- Owner
- agda (organization)
- Stars
- Stars: 210
- Forks
- Forks: 52
- Language
- Agda
- License
- MIT
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by agda
All 7 repos by agda- agda/agdaStars: 2,964HaskellRC
- agda/agda-stdlibStars: 680AgdaAlpha
- agda/cubicalStars: 572AgdaAlpha
- agda/agda-categoriesStars: 412AgdaAlpha
- agda/cornelisStars: 195HaskellPrototype
- agda/agda-language-serverStars: 130HaskellPrototype
Nearby in Agda
All Agda repos- martinescardo/TypeTopologyStars: 288AgdaAlpha
- pigworker/CS410-17Stars: 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 237AgdaPrototype
- copumpkin/categoriesStars: 154AgdaPrototype
- thehottgame/TheHoTTGameStars: 141AgdaPrototype
- ice1000/BooksStars: 140AgdaPrototype