Talk:Proof: Difference between revisions
→Draft status: task rewritten
(→Draft status: Task update/clarification needed?) |
(→Draft status: task rewritten) |
||
Line 143:
::It seems a wothwhile task in the way you describe it here on the talk page. Maybe the task description needs similar expansion to remove J-like entries and require "induction solving capabilities" or people to create such in a language without it, then apply it to the problem at hand. --[[User:Paddy3118|Paddy3118]] 07:22, 12 May 2012 (UTC)
The recent rewrite of the task description makes my point. Much of the wording, and the new requirement about showing associativity are one day old.
== Haskell ==
| |||