Hacker News new | ask | show | jobs
by tim_hutton 1311 days ago
If this is true then Haskell's type system is Noether's Theorem.
1 comments
tome 1311 days ago
Are you familiar with this? https://bentnib.org/conservation-laws.html
link