Hello world/Newbie: Difference between revisions
Content added Content deleted
(→{{header|Agda}}: Updated Agda example) |
(K) |
||
Line 1,365: | Line 1,365: | ||
4. Choose the |> symbol to run that line of Julia code.</pre> |
4. Choose the |> symbol to run that line of Julia code.</pre> |
||
=={{header|K}}== |
|||
{{works with|ngn/k}} |
|||
<code class="plainlinks">git clone https://codeberg.org/ngn/k.git</code> |
|||
make using the <b>build:</b> line in <i class="plainlinks">[https://codeberg.org/ngn/k/raw/branch/master/readme.txt readme.txt]</i> |
|||
run using the <b>use:</b> line in <i class="plainlinks">[https://codeberg.org/ngn/k/raw/branch/master/readme.txt readme.txt]</i> |
|||
=={{header|Kotlin}}== |
=={{header|Kotlin}}== |