RDLTR

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

One line. Many voicesSeek and you shall find

haskellforall.com faviconHaskell for all: A bidirectional typechecking puzzle

kept by

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.