RDLTR

Short for Read Later. Save links from any browser or phone. Click to save, read to clear. The full tour

One topic. Every takeSeek and you shall find

Reading up on Dhall

1 deep · digging since may 05

  • haskellforall.com favicon
    Haskell for all: A bidirectional typechecking puzzle

    Gabriella439 fixed a bug in Grace's bidirectional typechecker by implementing a most-specific supertype algorithm, enabling correct type inference for heterogeneous JSON-like lists without explicit annotations.