6 ms·
If this is true then Haskell's type system is Noether's Theorem.
by tim_hutton 4y ago
If this is true then Haskell's type system is Noether's Theorem.
- tome 4y agoAre you familiar with this? https://bentnib.org/conservation-laws.html https://bentnib.org/conservation-laws.html