Anonymous user
Proof: Difference between revisions
Merge omitted languages at bottom and add Processing
(+Racket) |
(Merge omitted languages at bottom and add Processing) |
||
Line 1:
{{draft task|Logic}}
{{omit from|C}}▼
{{omit from|C++}}▼
{{Omit From|D}} ▼
{{Omit From|E}} ▼
{{Omit From|Ruby}} <!-- same reason as Tcl -->▼
{{Omit From|ALGOL 68}} <!-- might be possible, but would require a complex library like Maple, not sure -->▼
{{omit from|Java}}▼
{{omit from|MUMPS|Not a typed language}}▼
{{omit from|Python}}▼
{{omit from|M4}}▼
{{omit from|Metafont}}▼
{{omit from|Smalltalk}}▼
{{omit from|Fortran}}▼
{{omit from|AWK}}▼
{{omit from|Objective-C}}▼
This task only makes sense for [[wp:dependently-typed language|dependently-typed languages]] and [[wp:proof assistant|proof assistants]], or for languages with a type system strong enough to emulate certain dependent types. It does ''not'' ask you to implement a theorem prover yourself.
Line 1,062 ⟶ 1,047:
%total D (sum-evens D _ _ _).
</lang>
▲{{
▲{{omit from|C}}
▲{{omit from|C++}}
▲{{omit from|Fortran}}
{{omit from|Go}}
{{omit from|GUISS}}
{{omit from|
{{omit from|JavaScript}}
▲{{omit from|M4}}
▲{{omit from|Metafont}}
▲{{omit from|MUMPS|Not a typed language}}
▲{{omit from|Objective-C}}
{{omit from|Processing}}
▲{{omit from|Python}}
▲{{omit from|Smalltalk}}
| |||