1. 11
    GADTs and Amulet compilers ml plt hydraz.semi.works
    hydraz avatar authored by hydraz 5 months ago | cached | 1 comment

  1.  

  2. 2
    iv avatar iv 5 months ago | link

    Great post, thank you! I especially enjoyed how the author explicitly accounts for UX in type systems, in this post and previously.