Re:Proof Market: Submit Coq proof, get paid with Bitcoin
by velis_vel on Thursday January 02, 2014 @02:00AM
(#6998548)
The language doesn't support loops; in terms of flow control, you get if statements and that's it. So probably not much of interest.
[ Parent
| on HN ]
There are no comments on this comment yet.