lambdageek/unbound-generics
Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
HaskellBSD-3-Clause
Stargazers
- 573Leipzig
- AcentellesLondon
- alephlull
- alex-mckenna@channable
- bixuanzjuStandard Chartered
- brendanzab@yeslogic
- chathhorn
- chessai
- christiaanbQBayLogic
- cryptismLondon, UK
- csabahruskaLondon
- Ericson2314@ObsidianSystems
- goshacmdSeattle, WA
- gridaphobeNew York
- halhenke
- hawnzugUniversity of Minnesota
- jez@stripe
- jfischofffal.ai
- joris-rFrance
- jozefgAarhus
- jroeschOctoML
- juanbono@lambdaclass
- Lysxia
- marklemayBoston
- mrkgnao
- sdiehlLondon
- simmsb@artificialio
- steshaw@tweag
- sweirichUniversity of Pennsylvania
- tdietertBoulder, CO
- tgiannak
- tkersey@thisisartium
- TOTBWFMcMaster University
- xldenisETHZ
- zehaochen19
- zhiyuanshi