Lobsters
- White paper: Compile Time TDD Coverage with Idris http://chromaticleaves.com/posts/idris-and-dependent-types.html 10 comments programming
- Compile Time TDD Coverage http://chromaticleaves.com/posts/idris-and-dependent-types.html 10 comments haskell
- Adventures in Hoogling: adding hoogle to your workflow http://chromaticleaves.com/posts/how-to-hoogle.html 4 comments haskell
- A blog response to "but I never test types!" http://chromaticleaves.com/posts/type-systems-fools-choice.html 7 comments haskell
- Using static types to reduce tests http://chromaticleaves.com/posts/type-systems-fools-choice.html 14 comments programming
- Generating User Profiles with QuickCheck http://chromaticleaves.com/posts/generate-user-data-quickcheck.html 5 comments haskell
- Haskell Development with Cabal Sandboxes http://chromaticleaves.com/posts/cabal-sandbox-workflow.html 5 comments haskell
- Compiled Heist: The Walkthrough http://chromaticleaves.com/posts/compiled-heist-the-walkthrough.html 3 comments haskell
- The Great Template Heist: an intro to Heist with new code examples http://chromaticleaves.com/posts/the-great-template-heist.html 4 comments haskell
- Striving for Correctness: A Case Study http://chromaticleaves.com/posts/haskell-memory-quiz.html 42 comments programming
- Making code reasonable with types http://chromaticleaves.com/posts/making-code-reasonable.html 25 comments programming
- An intro to making code reasonable with types http://chromaticleaves.com/posts/making-code-reasonable.html 24 comments haskell
- Patterns for handling haskell IO exceptions with ErrorT http://chromaticleaves.com/posts/guard-io-with-errort.html 15 comments haskell