rpeszek/IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
HaskellBSD-3-Clause
Stargazers
- AleXoundOSTbilisi, Georgia
- amirDublin, Ireland
- apirogov@Materials-Data-Science-and-Informatics
- ariostonBrazil
- chengzh2008Seattle, WA
- CYBAITokyo
- DejanMilicicSerbia
- doppioslashLiverpool, UK
- epicallan@Betterment
- fieldstrengthKlarna
- HerbMLearnQuick.Com
- ItsMeijers@Pureblocks
- j0xafDüsseldorf, Germany
- jonschoning@3CloudSolutions
- LeebDevelopersmprc
- mwgkgk
- neonphluxLondon
- Neujaskre
- oofp
- peel
- potan
- psibi@fpco
- pyrtsaHelsinki
- randombreinistanbul
- rcook@tableau
- rstefanicNational Flood Experts
- sindikatLeicester, UK
- srghmaNone
- SteffenSunde
- szabiVienna, Austria
- tkersey@thisisartium
- udevrilIstanbul
- vault13dweller
- xiaolzha
- zhan-ge
- zypehKuala Lumpur, Malaysia