One topic. Every takeSeek and you shall find

Reading up on Gabriella439

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.

read later

For all the tabs you promised to read.
Save to read. Read to clear.

Close tabs. Keep links.