curry-lang.org/index.html at hakyll · curry-language/curry-lang.org · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
---
title: ""
no-dash: true
with-main: pt-16
---
<div class="flex justify-center">
    <div class="main-top flex-col">
        <section class="slanted-bottom flex justify-center px-6 pt-4 md:pt-6 px-6">
            <div class="md:max-w-3xl">
                <!-- Curry Logo and Name -->
                <div class="flex flex-col justify-center sm:flex-row">
                    <img class="h-32 w-32 sm:h-56 sm:w-56 -mb-4 mx-auto sm:mb-0 sm:ml-0 sm:mr-3"
                         src="/assets/img/curry-cc-by.svg" alt="Curry Logo">
                    <h1 class="flex justify-center items-center font-bold leading-tight text-7xl sm:text-10xl">
                        Curry</h1>
                </div>

                <span class="block text-center text-red leading-tight text-2xl mx-auto sm:text-4xl md:max-w-2xl">A Truly Integrated Functional Logic Programming Language</span>
                <!-- Download and Try It! Buttons -->
                <div class="flex justify-center mt-8">
                    <a class="inline-block items-center text-red text-center border border-red rounded-lg font-semibold leading-tight px-4 py-3 hover:bg-red hover:text-white"
                       href="/downloads/">Downloads</a>
                    <a class="inline-block items-center text-blue text-center border border-blue rounded-lg font-semibold leading-tight px-4 py-3 ml-4 hover:bg-blue hover:text-white"
                       href="https://smap.curry-lang.org/smap.cgi?upload?lang=Curry&program=%2D%2D+Returns+the+last+number+of+a+list%2E%0Alast+%3A%3A+%5BInt%5D+%2D%3E+Int%0Alast+%28%5F+%2B%2B+%5Bx%5D%29+%3D+x%0A%0A%2D%2D+Returns+some+permutation+of+a+list%2E%0Aperm+%3A%3A+%5Ba%5D+%2D%3E+%5Ba%5D%0Aperm+%5B%5D+++++%3D+%5B%5D%0Aperm+%28x%3Axs%29+%3D+insert+%28perm+xs%29%0A+where+insert+ys+++++%3D+x+%3A+ys%0A+++++++insert+%28y%3Ays%29+%3D+y+%3A+insert+ys%0A+++++++%0Amain+%3D+perm+%22XYZ%22">Try It!</a>
                </div>
            </div>
        </section>
        <!-- Code Example -->
        <section class="justify-center main-example flex flex-col pt-12 sm:px-6">
            <div class=" flex justify-center">
                <div class="bg-code sm:px-6">
                    $partial("templates/code/main.curry.md")$
                </div>
            </div>
        </section>
    </div>
</div>
<section class="slanted flex justify-center px-6">
    $partial("templates/introduction.html")$
</section>
<section class="slanted flex justify-center bg-primary px-6">
    <div class="feature-outer">
        $for(features)$
        $partial("templates/learn_more.html")$
        $endfor$
    </div>
</section>
<section class="slanted flex justify-center px-6">
    $partial("templates/development.html")$
</section>
<section class="slanted flex justify-center bg-primary px-6">
    <div class="feature-outer">
        $for(ecosystem)$
        $partial("templates/learn_more.html")$
        $endfor$
    </div>
</section>