1. 7
    Type safe records as an excuse to learn type level programming in Haskell haskell rcalsaverini.github.io
    PicNoir avatar via PicNoir 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
    1. 2
      PicNoir avatar PicNoir 5 years 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…