https://github.com/agda/agda-ghc-names
Tool for making sense of the Haskell code generated by the Agda compiler
https://github.com/agda/agda-ghc-names
Last synced: 12 months ago
JSON representation
Tool for making sense of the Haskell code generated by the Agda compiler
- Host: GitHub
- URL: https://github.com/agda/agda-ghc-names
- Owner: agda
- License: mit
- Created: 2016-11-22T13:30:53.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2017-03-23T14:58:08.000Z (about 9 years ago)
- Last Synced: 2025-05-12T14:33:22.823Z (about 1 year ago)
- Language: Haskell
- Size: 11.7 KB
- Stars: 4
- Watchers: 30
- Forks: 2
- Open Issues: 0