Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
▲
Mechanized type inference for record concatenation
(
haskellforall.com
)
2 points
by
birdculture
5 hours ago
