jespercockx / scope

An agda2hs-compatible library for well-scoped syntax

9302

jespercockx/scope Stargazers

Atticus Kuhn
AtticusKuhn
cmcmA20
favonia
favonia
Hector Peeters
HectorPeeters
Bohdan Liesnikov
liesnikov
Orestis Melkonian
omelkonian
Rahul Chhabra
rahulc29
shuhung
shhyou
Wen Kokke
wenkokke

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.