bor0
- Karma
- 167
- Created
- 11 years ago
About
my blog: https://bor0.wordpress.com author of: https://leanpub.com/gidti and https://leanpub.com/giblRecent Submissions
- 1. ▲ Re-Inventing the Monad Wheel (bor0.wordpress.com)
- 2. ▲ Algorithmic Puzzle: Continuous Increasing Subsequences (bor0.wordpress.com)
- 3. ▲ Capturing Number Theory in Haskell (bor0.wordpress.com)
- 4. ▲ Towards Hoare logic for a small imperative language in Haskell (bor0.wordpress.com)
- 5. ▲ Haskell Memoization and Evaluation Model (bor0.wordpress.com)
- 6. ▲ Proof: One Sunday every 7 days (bor0.wordpress.com)
- 7. ▲ A simple Constraint Programming implementation (bor0.wordpress.com)
- 8. ▲ Superliminal Game Overview (bor0.wordpress.com)
- 9. ▲ Proofs and Computation with Trees (bor0.wordpress.com)
- 10. ▲ Deriving a Quine in a Lisp (bor0.wordpress.com)