NorfairKing/easyspec
Signature inference for Functional Property Discovery in Haskell
HaskellBSD-3-Clause
Stargazers
- 23Skidoo@primait
- 3nochIndiana
- 573Leipzig
- AndreiBarsanUniversity of Toronto, Waabi
- bandali0@canonical
- brendanzab@yeslogic
- enzoh
- felko
- fizruk@InnopolisUniversity
- gerardonunez
- hoangpqDeveloper Avocados
- icylacePatchogue, New York
- ipolifemo
- justanotherdot@heydovetail
- kirandark
- kutyel@scrive
- langston-barrett@GaloisInc
- LeifW@thatDot
- lorenzoBoozt.com
- luknwCracow
- mitchellwrosen@unison
- nassersala
- ndcroos
- NorfairKingCS Kerckhove
- nothingnessesGMT+0
- objectxMeguro-ku, Tokyo
- pavanettiSão Paulo
- przembotWarsaw, Poland
- quewean
- rudymatela
- secondwtqSichuan University
- thde@ninech
- the-dr-lazyMilky Way
- tjweirhttp://www.tylerweir.com
- tkersey@thisisartium
- ygree