Timeline for Can Haskell ensure a Functor (or other typeclasses) satisfies its law?
Current License: CC BY-SA 3.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 10, 2017 at 5:26 | vote | accept | ice1000 | ||
| Dec 10, 2017 at 5:26 | comment | added | ice1000 | Hmmm. Reasonable. | |
| Dec 10, 2017 at 5:24 | comment | added | Joey Eremondi | @ice1000 If you're accepting code in an answer, then your question is off topic on this subreddit. | |
| Dec 10, 2017 at 5:15 | comment | added | ice1000 | I've found an example that uses Haskell to verify fuctor law. What you say helps but there isn't code, so I've upvoted but not accepted :D | |
| Dec 10, 2017 at 5:14 | comment | added | Joey Eremondi | Ninja edit at the end there, in case you missed it. | |
| Dec 10, 2017 at 5:14 | vote | accept | ice1000 | ||
| Dec 10, 2017 at 5:14 | |||||
| Dec 10, 2017 at 5:12 | history | answered | Joey Eremondi | CC BY-SA 3.0 |