PrototypeCommon
ekmett/bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
- Owner
- ekmett (personal account)
- Stars
- Stars: 132
- Forks
- Forks: 30
- Language
- Haskell
- License
- None
- Created
- 2012
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ekmett
All 16 repos by ekmett- ekmett/lensStars: 2,110HaskellRC
- ekmett/adStars: 390HaskellAlpha
- ekmett/machinesStars: 340HaskellAlpha
- ekmett/trifectaStars: 303HaskellAlpha
- ekmett/guanxiStars: 277HaskellAlpha
- ekmett/linearStars: 220HaskellPrototype
Nearby in Haskell
All Haskell repos- UnkindPartition/regex-applicativeStars: 132HaskellPrototype
- noinia/hgeometryStars: 132HaskellPrototype
- aisamanra/rust-haskell-ffiStars: 132HaskellPrototype