Mechanized type inference for record concatenation

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

birdculture · 13 hours ago

0 comments