agda/agda-data-bindings
Agda bindings for low-level datatypes such as raw naturals and bytestrings
AgdaMIT
Watchers
- ajrouvoet
- andreasabelChalmers and Gothenburg University
- banacornTaipei, Taiwan
- copumpkinWashington
- dominiquedevrieseKU Leuven
- eemailme
- fredrikNordvallForsbergUniversity of Strathclyde
- gallaisGlasgow, Scotland
- guillaumebrunerieStockholm, Sweden
- HuStmpHrrrMcGill University
- ice1000@plctlab
- JacquesCaretteMcMaster University
- jespercockxTU Delft
- jhcloos
- jmchapman@input-output-hk
- knrafto
- L-TChenInstitute of Information Science, Academia Sinica
- npAngers, France
- phile314Zürich, Switzerland
- rweSeattle, WA
- Saizan
- TanebReggio Emilia, Italy
- UlfNorell
- WhatisRTIOHK
- WolframKahlMcMaster University