agda/agda-ghc-names
Tool for making sense of the Haskell code generated by the Agda compiler
HaskellMIT
Watchers
- ajrouvoet
- alhassyCanada
- andreasabelChalmers and Gothenburg University
- asrUniversidad EAFIT
- banacornTaipei, Taiwan
- bitonicEurope
- dominiquedevrieseKU Leuven
- eemailme
- fredrikNordvallForsbergUniversity of Strathclyde
- gelisamwell.co
- guillaumebrunerieStockholm, Sweden
- halfayaHalfaya Research
- HuStmpHrrrMcGill University
- ice1000@plctlab
- JacquesCaretteMcMaster University
- jespercockxTU Delft
- jhcloos
- jmchapman@input-output-hk
- knrafto
- L-TChenInstitute of Information Science, Academia Sinica
- larrytheliquid@colimit-io
- npAngers, France
- phile314Zürich, Switzerland
- pthariensflameModesto, CA, USA
- quewean
- rweSeattle, WA
- Saizan
- TanebReggio Emilia, Italy
- UlfNorell
- WhatisRTIOHK
- WolframKahlMcMaster University