Typing Haskell in Haskell | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Typing Haskell in Haskell (pdx.edu)
		3 points by tmtvl on Feb 21, 2024 \| hide \| past \| favorite \| 1 comment

tmtvl on Feb 21, 2024 [–]

For the parenthetically inclined among us, there's also an implementation in Coalton: <https://github.com/coalton-lang/coalton/tree/main/examples/t...>

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact