1. 7
    Type safe records as an excuse to learn type level programming in Haskell haskell rcalsaverini.github.io
    NinjaTrappeur avatar via NinjaTrappeur 4 months ago | cached | 1 comment

  1.  

  2. 2
    NinjaTrappeur avatar NinjaTrappeur 4 months ago | link

    Nice post.

    I was waiting for the author to publish the remaining part before submitting this.

    It’s been 2 months, looks like part 2 is not going to happen…