HN Trends Tracker

backend ok

Repost history

Canonical URL: https://haskellforall.com/2026/07/mechanized-type-inference-for-record-concatenation

Current story

#
Mechanized type inference for record concatenation(haskellforall.com)
HN #48,848,8162026-07-09 16:47 UTC
2 pointsby birdculture8 days ago0 comments

#
Mechanized type inference for record concatenation(haskellforall.com)
HN #48,821,8332026-07-07 18:42 UTC
3 pointsby g0xA52A2A10 days ago0 comments
#
Mechanized type inference for record concatenation as in Nix(haskellforall.com)
HN #48,830,6412026-07-08 11:42 UTC
2 pointsby fanf29 days ago0 comments