HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by tim_hutton | Hacker News Reader
Full thread
tim_hutton
·
If this is true then Haskell's type system is Noether's Theorem.
View on HN
tome
·
Are you familiar with this?
https://bentnib.org/conservation-laws.html
Reply on news.ycombinator.com