This is the technical side blog of Leonidas.
- 2013-02-19: A Game of Type-Safe Tic-Tac-Toe
- 2013-01-14: Observable Sharing Using Data.Reify
- 2012-02-21: Concatenative Haskell Part II: Custom DSL Syntax Using QuasiQuotes
- 2012-02-17: Concatenative, Row-Polymorphic Programming in Haskell
- 2012-01-17: Purely Functional, Declarative Game Logic Using Reactive Programming
- 2012-01-13: Implementing Semantic Anti-Templating With jQuery
- 2012-01-08: Generalizing Streams into Coroutines
- 2011-12-27: Basic Tutorial of Template Haskell
- 2011-12-21: Statically Typed Vector Algebra Using Type Families
- 2011-12-18: NFA in a Single Line of Haskell
All source code contained in the blog articles is placed under the MIT license unless mentioned otherwise.