Talk:Proof: Difference between revisions
→Draft status
(→Draft status: disagree) |
|||
Line 148:
: Apart from the small additional subtask, I don't think this task has been changed in any essential way since [http://rosettacode.org/mw/index.php?title=Proof&oldid=11669 2007]. —''[[User:Ruud Koot|Ruud]]'' 18:09, 12 May 2012 (UTC)
Wrong. It's full of additional restrictions. In [http://rosettacode.org/mw/index.php?title=Proof&oldid=102003 2011] even, it said nothing about dependent types. These new restrictions are approaching a task description that says something like "languages must have built-in support for at least one of (loosely related) features x, y or z. all others must omit." But the task isn't clear yet on what those features are. —[[User:Sonia|Sonia]] 18:39, 12 May 2012 (UTC)
== Haskell ==
| |||