|
You are here |
github.com | ||
| | | | |
gist.github.com
|
|
| | | | | Generic `printf` implementation in Idris2. GitHub Gist: instantly share code, notes, and snippets. | |
| | | | |
crpt.fyi
|
|
| | | | | Issues for organizations and discussions, repo for debriefs and resources - Call For Proposal · francep2p/community Wiki | |
| | | | |
cupano.com
|
|
| | | | | My Blog Posts. Contribute to joecupano/blog development by creating an account on GitHub. | |
| | | | |
everythingfunctional.wordpress.com
|
|
| | | The answer to the question of whether we should write automated test suites has largely been settled. We absolutely should write unit tests, and possibly even integration and end-to-end tests. But as acceptance of this practice grew, and adoption became more widespread, a follow-up question arose; How many tests should we write? How do we... | ||