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.

read later

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

Close tabs. Keep links.