Even non-trivial type-level programming can be picked up by complete novice in Haskell in less than month. I experimented with that.
Even non-trivial type-level programming can be picked up by complete novice in Haskell in less than month. I experimented with that.